JEE Mains Maths · Matrices

Powers of a Matrix & the Cayley-Hamilton Theorem

To find a high power of a matrix you almost never multiply it out — you spot a structure (a cycle, a nilpotent shift, an idempotent, or the matrix's own characteristic equation) that collapses every power into a simple pattern.

Why this matters

Forty-four PYQs, one from almost every JEE Mains sitting 2021-2025 — the single most-tested idea in the Matrices chapter, and all MODERATE. Nobody computes A raised to 2007 by hand: the exam rewards recognising WHICH shortcut applies. The nine tools below — cyclic powers, the nilpotent A = I + N binomial, idempotent/involutory reductions, the Cayley-Hamilton equation, polynomial recurrences, sums of powers, conjugation P^{-1}BP, period-counting, and eigenvalue/trace-determinant reasoning — between them crack every one of these 44 questions in under two minutes.

Concept 1 of 9

Cyclic and pattern powers

Intuition

Compute A2A^2 and A3A^3 and one of two things happens: the entries follow an obvious pattern (e.g. AnA^n has nn or n1n-1 in one slot), or the matrix cyclesAd=IA^d = I for some small period dd, so AnA^n depends only on nmoddn \bmod d. Rotations and permutation matrices are the classic cyclers.

Definition

For a square matrix AA:

  • Pattern powers: find A2,A3A^2, A^3, guess the closed form of AnA^n, and (optionally) confirm by induction.
  • Cyclic powers: if Ad=IA^d = I (smallest such dd is the period), then An=AnmoddA^n = A^{\,n \bmod d}. A rotation by θ\theta satisfies An=A^n = rotation by nθn\theta; a rotation by 2π/d2\pi/d has period dd.
  • Reduce the exponent FIRST, then read off the answer.

Cyclic reduction

Ad=I  An=AnmoddA^d = I \ \Rightarrow\ A^n = A^{\,n \bmod d}

Worked example

If A=(0110)A = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}, find A2019A^{2019}.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 1MatricesMODERATE
If A=12[1331]A =\frac{1}{2}\begin{bmatrix} 1 & \sqrt{3} \\ -\sqrt{3} & 1 \end{bmatrix}, then:

[Q158 · 1 February 2023 · 2023]

Reduce the exponent modulo the period FIRST

Once you find Ad=IA^d = I, a power like A2019A^{2019} is just A2019moddA^{\,2019 \bmod d}. Students who start multiplying AAAA\cdot A\cdot A\dots never finish. Find the period, take the remainder, done.

Concept 2 of 9

Nilpotent shift: A = I + N

Intuition

A triangular matrix with 1's on the diagonal is II plus a nilpotent part NN (its powers eventually vanish: Nk=ON^k = O). Because II commutes with everything, the binomial theorem applies to (I+N)n(I+N)^n — and it truncates, because every term with Nk=ON^k = O drops out. So AnA^n is a short, exact polynomial in NN.

Definition

Write A=I+NA = I + N where NN is nilpotent (Nk=ON^k = O for some kk). Then

An=(I+N)n=I+nN+(n2)N2++(nk1)Nk1,A^n = (I+N)^n = I + nN + \binom{n}{2}N^2 + \dots + \binom{n}{k-1}N^{k-1},
the series stopping at the last non-zero power of NN. For a 2×22\times2 unitriangular matrix N2=ON^2 = O, so An=I+nNA^n = I + nN; for a 3×33\times3 unitriangular matrix N3=ON^3 = O, so An=I+nN+(n2)N2A^n = I + nN + \binom{n}{2}N^2.

Binomial for a nilpotent shift

A=I+N, Nk=O  An=I+nN+(n2)N2+A = I + N,\ N^k = O \ \Rightarrow\ A^n = I + nN + \binom{n}{2}N^2 + \dots
  • NNnilpotent part A − I (strictly triangular)
  • (n2)\binom{n}{2}n(n−1)/2, the coefficient of N²

Worked example

If A=(130013001)A = \begin{pmatrix} 1 & 3 & 0 \\ 0 & 1 & 3 \\ 0 & 0 & 1 \end{pmatrix}, find A4A^4.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 2MatricesMODERATE
Let A=[1aa01b001],a,bRA =\begin{bmatrix} 1 & a & a \\ 0 & 1 & b \\ 0 & 0 & 1 \end{bmatrix},a,b \in R. If for some nNn \in N, An=[14821600196001]A^{n}=\begin{bmatrix} 1 & 48 & 2160 \\ 0 & 1 & 96 \\ 0 & 0 & 1 \end{bmatrix} then n+a+bn + a + b is equal to

[Q173 · 25 July 2022 · 2022]

The binomial TRUNCATES — don't chase infinitely many terms

For A=I+NA = I + N, the expansion of AnA^n stops at the last non-zero NkN^k. A 3×33\times3 unitriangular matrix has N3=ON^3 = O, so you need exactly three terms — no more. Writing an endless series is wasted effort.

This is not a normal binomial — II and NN must commute

(I+N)n=(nk)Nk(I+N)^n = \sum \binom{n}{k}N^k is valid ONLY because II commutes with NN. You may never apply the binomial theorem to (A+B)n(A+B)^n for two general matrices; here it works purely because one summand is II.

Concept 3 of 9

Idempotent (A² = A) and involutory (A² = I) matrices

Intuition

Two special self-relations make every power trivial. If A2=AA^2 = A (idempotent), then A3=A2A=AA^3 = A^2\cdot A = A, and so on: An=AA^n = A for all n1n \ge 1. If A2=IA^2 = I (involutory), powers just alternate between AA and II. Spot one of these and any expression in powers of AA collapses instantly.

Definition

  • Idempotent: A2=AAn=AA^2 = A \Rightarrow A^n = A for every n1n \ge 1.
  • Involutory: A2=IAn=IA^2 = I \Rightarrow A^n = I (n even), An=AA^n = A (n odd).
  • Binomial payoff (idempotent): (I+A)n=k=0n(nk)Ak=I+(k=1n(nk))A=I+(2n1)A(I+A)^n = \sum_{k=0}^{n}\binom{n}{k}A^k = I + \Big(\sum_{k=1}^{n}\binom{n}{k}\Big)A = I + (2^n - 1)A, since every Ak=AA^k = A.

Idempotent binomial collapse

A2=A  (I+A)n=I+(2n1)AA^2 = A \ \Rightarrow\ (I+A)^n = I + (2^n - 1)A

Worked example

If A=(2121)A = \begin{pmatrix} 2 & -1 \\ 2 & -1 \end{pmatrix}, find (I+A)4(I + A)^4.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 3MatricesMODERATE
Let A=[α16β],α>0A=\begin{bmatrix} \alpha & - 1 \\ 6 & \beta \end{bmatrix},\alpha> 0, such that det(A)=0det(A) = 0 and α+β=1\alpha+\beta= 1. If I denotes 2×22 \times 2 identity matrix, then the matrix (1+A)8(1 +A)^{8} is:

[Q55 · 2 Apr 2025 · 2025]

(I+A)n=I+(2n1)A(I+A)^n = I + (2^n-1)A needs A2=AA^2 = A

This clean collapse holds ONLY for an idempotent AA. If A2AA^2 \ne A, the binomial doesn't fold up — you must use the actual structure (nilpotent, cyclic, or Cayley-Hamilton). Always verify A2=AA^2 = A before you use it.

Concept 4 of 9

The Cayley-Hamilton equation

Intuition

Every square matrix satisfies its own characteristic equation. For a 2×22\times2 matrix that reads A2=(trA)A(detA)IA^2 = (\operatorname{tr}A)A - (\det A)I — a single relation that instantly gives the trace, the determinant, or an unknown constant in an equation like A2+γA+cI=OA^2 + \gamma A + cI = O. Matching your given relation against Cayley-Hamilton is often a one-line solve.

Definition

2×2: A2(trA)A+(detA)I=OA^2 - (\operatorname{tr}A)A + (\det A)I = O, i.e. A2(a+d)A+(adbc)I=OA^2 - (a+d)A + (ad-bc)I = O. 3×3: A3(trA)A2+(M)A(detA)I=OA^3 - (\operatorname{tr}A)A^2 + (M)A - (\det A)I = O, where MM is the sum of the three 2×22\times2 principal minors. To solve "find kk in A2kA+cI=OA^2 - kA + cI = O", just compare coefficients: k=trAk = \operatorname{tr}A, c=detAc = \det A. The sign on the determinant term is +detA+\det A for 2×22\times2.

Cayley-Hamilton (2×2)

A2(trA)A+(detA)I=OA^2 - (\operatorname{tr}A)\,A + (\det A)\,I = O
  • trA\operatorname{tr}Aa + d, sum of diagonal entries
  • detA\det Aad − bc

Worked example

If A=(4321)A = \begin{pmatrix} 4 & 3 \\ 2 & -1 \end{pmatrix} and A2+pA+qI=OA^2 + pA + qI = O, find pp and qq.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 4MatricesMODERATE
Let A=(42αβ)A =\begin{pmatrix} 4 & - 2 \\ \alpha & \beta \end{pmatrix} If A2+γA+18I=OA^{2}+ \gamma A + 18I = O, then det(a)det(a) is equal to

[Q154 · 27 July 2022 · 2022]

The determinant term is +detA+\det A for a 2×22\times2

Cayley-Hamilton is A2(trA)A+(detA)I=OA^2 - (\operatorname{tr}A)A + (\det A)I = O: the trace term is negative, the determinant term is positive. Flipping the sign of detA\det A is the single most common slip — read the constant term off directly as +detA+\det A.

Cayley-Hamilton is about the CHARACTERISTIC polynomial

The matrix satisfies p(A)=Op(A) = O where p(λ)=det(AλI)p(\lambda) = \det(A - \lambda I) — not some arbitrary polynomial you'd like. For 3×33\times3 the coefficients are trA\operatorname{tr}A, the sum of principal 2×22\times2 minors, and detA\det A.

Concept 5 of 9

Reducing higher powers with a polynomial relation

Intuition

Once you know a relation like A2=pA+qIA^2 = pA + qI (from Cayley-Hamilton or given outright), EVERY higher power is a linear combination of AA and II: multiply the relation by AA and substitute repeatedly. A3,A4,A5,A^3, A^4, A^5, \dots all reduce to the form αA+βI\alpha A + \beta I — you never need the actual entries.

Definition

Given A2=pA+qIA^2 = pA + qI:

  • A3=AA2=pA2+qA=(p2+q)A+pqIA^3 = A\cdot A^2 = pA^2 + qA = (p^2+q)A + pq\,I, and so on — each step re-uses A2=pA+qIA^2 = pA + qI.
  • The same works for a cubic relation A3=pA2+qA+rIA^3 = pA^2 + qA + rI: express A4,A5A^4, A^5 in terms of A2,A,IA^2, A, I.
  • Trace shortcut: if λ2=pλ+q\lambda^2 = p\lambda + q is the characteristic equation, the power sums sk=tr(Ak)s_k = \operatorname{tr}(A^k) obey the same recurrence sk=psk1+qsk2s_k = p\,s_{k-1} + q\,s_{k-2}, with s0=2, s1=trAs_0 = 2,\ s_1 = \operatorname{tr}A.

Power reduction

A2=pA+qI  A3=(p2+q)A+pqIA^2 = pA + qI \ \Rightarrow\ A^3 = (p^2+q)A + pq\,I

Worked example

A matrix satisfies A2=3A+2IA^2 = 3A + 2I. Express A4A^4 in the form αA+βI\alpha A + \beta I.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 5MatricesMODERATE
Let α\alpha and β\beta be real numbers. Consider a 3×33 \times 3 matrix A such that A2=3A+αIA^{2}= 3A + \alpha I. If A4=21A+βIA^{4}= 21A + \beta I, then

[Q61 · 29 January 2023 · 2023]

Substitute the relation at every step — don't expand entrywise

When a problem hands you A2=pA+qIA^2 = pA + qI, you are meant to REDUCE powers algebraically, not compute the matrix. Re-apply the relation each time a fresh A2A^2 appears; the answer always lands as αA+βI\alpha A + \beta I.

Concept 6 of 9

Sums of powers of a matrix

Intuition

A series A+A2++AmA + A^2 + \dots + A^m is easy the moment each power is a scalar multiple of a fixed matrix. Two structures do that: a rank-1 matrix (a column times a row) satisfies A2=cAA^2 = cA, so Ak=ck1AA^k = c^{k-1}A — a geometric series in AA; and a matrix with M2=cIM^2 = cI makes every even power a scalar multiple of II. Unitriangular sums add up term-by-term via the I+NI+N pattern.

Definition

  • Rank-1 A=uvTA = uv^{T}: A2=(vTu)A=cAA^2 = (v^{T}u)A = cA, hence Ak=ck1AA^k = c^{k-1}A and k=1mAk=cm1c1A\sum_{k=1}^{m}A^k = \dfrac{c^m - 1}{c - 1}\,A (for c1c \ne 1). Here c=trAc = \operatorname{tr}A.
  • **M2=cIM^2 = cI:** even powers M2k=ckIM^{2k} = c^{k}I, odd powers M2k1=ck1MM^{2k-1} = c^{k-1}M — split the sum into even and odd parts.
  • Unitriangular A=I+NA = I + N: Ak=(1)I+(k)N+((k2))N2\sum A^k = (\sum 1)I + (\sum k)N + (\sum \binom{k}{2})N^2, summing each coefficient separately.

Geometric sum for a rank-1 matrix

A2=cA  k=1mAk=cm1c1AA^2 = cA \ \Rightarrow\ \sum_{k=1}^{m}A^k = \frac{c^m - 1}{c - 1}\,A

Worked example

If A=(1111)A = \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}, find A+A2+A3+A4+A5A + A^2 + A^3 + A^4 + A^5.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 6MatricesMODERATE
Let A=[aij]A =\left\lbrack a_{ij} \right\rbrack be a square matrix of order 3 such that aij=2jia_{ij}=2^{j - i}, for all i,j=1,2,3i,j = 1,2,3. Then, the matrix A2+A3++A10A^{2}+A^{3}+ \ldots +A^{10} is equal to:

[Q70 · 29 June 2022 · 2022]

Spot the rank-1 structure before you multiply

If a matrix is a column times a row (e.g. aij=2ji=2i2ja_{ij} = 2^{\,j-i} = 2^{-i}\cdot 2^{j}), then A2=(trA)AA^2 = (\operatorname{tr}A)A and every power is a scalar times AA. Recognising this turns a scary Ak\sum A^k into a plain geometric series.

Concept 7 of 9

Powers under conjugation: (P⁻¹BP)ⁿ

Intuition

When a matrix is dressed up as P1BPP^{-1}BP (a similarity/conjugation), its powers un-dress cleanly: the inner PP's cancel, so (P1BP)n=P1BnP(P^{-1}BP)^n = P^{-1}B^{n}P. For an orthogonal PP (PTP=IP^{T}P = I) the inverse is just PTP^{T}. This is the whole trick behind the "PTQ2007PP^{T}Q^{2007}P" monsters — strip the conjugation, power the simple middle matrix, done.

Definition

For invertible PP: (P1BP)n=P1BnP(P^{-1}BP)^n = P^{-1}B^{n}P, because (P1BP)(P1BP)=P1B(PP1)BP=P1B2P(P^{-1}BP)(P^{-1}BP) = P^{-1}B(PP^{-1})BP = P^{-1}B^{2}P, and so on by induction.

  • If PP is orthogonal (PTP=IP^{T}P = I), then P1=PTP^{-1} = P^{T}, so Q=PBPTPTQnP=BnQ = PBP^{T} \Rightarrow P^{T}Q^{n}P = B^{n}.
  • Similar matrices share trace, determinant, and eigenvalues, so a diagonal-element sum of PTQnPP^{T}Q^{n}P is just that of BnB^{n}.

Conjugation commutes with powers

(P1BP)n=P1BnP(PTP=IPT(PBPT)nP=Bn)(P^{-1}BP)^n = P^{-1}B^{n}P \qquad (P^{T}P = I \Rightarrow P^{T}(PBP^{T})^{n}P = B^{n})

Worked example

Let PP be orthogonal (PTP=IP^{T}P = I), B=(1101)B = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, and Q=PBPTQ = PBP^{T}. Find PTQ5PP^{T}Q^{5}P.
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 7MatricesMODERATE
Let P=[32121232],A=[1101]P =\begin{bmatrix} \frac{\sqrt{3}}{2} & \frac{1}{2} \\ -\frac{1}{2} & \frac{\sqrt{3}}{2} \end{bmatrix},A =\begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} And Q=PQPTQ =PQP^{T}. If  PTQ2007P=[abcd]\ P^{T}Q^{2007}P =\begin{bmatrix} a & b \\ c & d \end{bmatrix}, then 2a+b3c4d2a + b - 3c - 4d equal to

[Q65 · 8 Apr 2023 · 2023]

Strip the conjugation FIRST

(P1BP)n(P^{-1}BP)^n is never expanded directly. The middle PP1P P^{-1} pairs telescope, leaving P1BnPP^{-1}B^{n}P. For orthogonal PP remember P1=PTP^{-1} = P^{T}, so PT(PBPT)nPP^{T}(PBP^{T})^{n}P collapses all the way to BnB^{n}.

Concept 8 of 9

Counting n with Aⁿ = A or Aⁿ = I

Intuition

"For how many n{1,,N}n \in \{1, \dots, N\} is An=IA^n = I?" is really a modular-counting question. Find the period dd (smallest dd with Ad=IA^d = I); then An=I    dnA^n = I \iff d \mid n, and you just count the multiples of dd up to NN. For An=AA^n = A, the condition is n1(modd)n \equiv 1 \pmod{d}.

Definition

  • Determine the period dd (via cyclicity, eigenvalues like ii or ω\omega, or a relation such as A2=AA^2 = A).
  • An=I    n0(modd)A^n = I \iff n \equiv 0 \pmod d; count =N/d= \lfloor N/d \rfloor.
  • An=A    n1(modd)A^n = A \iff n \equiv 1 \pmod d.
  • When eigenvalues are complex roots of unity (ii has order 4, ω\omega order 3), the order is the period. If A2=AA^2 = A (idempotent), An=AA^n = A for ALL n1n \ge 1.

Counting the exponents

An=I    dn  #{nN}=NdA^n = I \iff d \mid n \ \Rightarrow\ \#\{n \le N\} = \left\lfloor \tfrac{N}{d} \right\rfloor

Worked example

A matrix has period 4 (A4=IA^4 = I, no smaller). For how many n{1,2,,50}n \in \{1, 2, \dots, 50\} is An=IA^n = I?
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 8MatricesMODERATE
Let A=(1+i1i0)A =\begin{pmatrix} 1 + i & 1 \\ - i & 0 \end{pmatrix} where i=1i =\sqrt{- 1}. Then, the number of elements in the set {n{1,2,,100}:An=A}\left\{ \mathbf{n \in \{ 1,2,\ldots,100\}:}A^{n}= A \right\} is

[Q177 · 28 June 2022 · 2022]

Find the PERIOD, then count residues — don't test each n

The whole question reduces to "how many nNn \le N hit the right residue mod dd". Nail the period first (often the order of a complex eigenvalue like ii or ω\omega), and the rest is arithmetic. Testing powers one by one is a trap for time.

Concept 9 of 9

Eigenvalue and trace-determinant reasoning

Intuition

The roots of det(AλI)=0\det(A - \lambda I) = 0 (the eigenvalues) carry the matrix's DNA: their sum is the trace, their product the determinant. That lets you answer questions about tr(A2)\operatorname{tr}(A^2), detA\det A, or hidden eigenvalues without ever finding the entries — and AB=BAB = B with BOB \ne O instantly tells you 11 is an eigenvalue.

Definition

For a 2×22\times2 matrix AA with eigenvalues λ1,λ2\lambda_1, \lambda_2 (the roots of AλI=0|A - \lambda I| = 0):

  • λ1+λ2=trA\lambda_1 + \lambda_2 = \operatorname{tr}A and λ1λ2=detA\lambda_1 \lambda_2 = \det A.
  • tr(A2)=λ12+λ22=(trA)22detA\operatorname{tr}(A^2) = \lambda_1^2 + \lambda_2^2 = (\operatorname{tr}A)^2 - 2\det A.
  • If AB=λBAB = \lambda B for a non-zero column BB, then λ\lambda is an eigenvalue of AA; in particular AB=BAB = B means 11 is an eigenvalue.

Sum and product of eigenvalues

λ1+λ2=trA,λ1λ2=detA\lambda_1 + \lambda_2 = \operatorname{tr}A,\qquad \lambda_1\lambda_2 = \det A

Worked example

For a 2×22\times2 matrix AA, the roots of AλI=0|A - \lambda I| = 0 are 22 and 55. Find tr(A2)\operatorname{tr}(A^2).
Practice this conceptself-check · 4 quick reps

From the bank · past-year question

Example 9MatricesMODERATE
Let A be a 2×22 \times 2 real matrix and I be the identity matrix of order 2 . If the roots of the equation AxI=0|A-xI| = 0 be -1 and 3 , then the sum of the diagonal elements of the matrix A2A^{2} is\...\...\...

[Q173 · 27 Jan 2024 · 2024]

tr(A2)(trA)2\operatorname{tr}(A^2) \ne (\operatorname{tr}A)^2

The sum of diagonal entries of A2A^2 is λ12+λ22=(trA)22detA\lambda_1^2 + \lambda_2^2 = (\operatorname{tr}A)^2 - 2\det A, NOT (trA)2(\operatorname{tr}A)^2. Forgetting the 2detA-2\det A correction is the standard error on these trace questions.

Summary — formulas & gotchas at a glance

A revision cheat-sheet for the formulas and gotchas above. Click any concept name to jump back to its full explanation.

Formulas (9)

  • Cyclic and pattern powers

    Cyclic reduction

    Ad=I  An=AnmoddA^d = I \ \Rightarrow\ A^n = A^{\,n \bmod d}
  • Nilpotent shift: A = I + N

    Binomial for a nilpotent shift

    A=I+N, Nk=O  An=I+nN+(n2)N2+A = I + N,\ N^k = O \ \Rightarrow\ A^n = I + nN + \binom{n}{2}N^2 + \dots
  • Idempotent (A² = A) and involutory (A² = I) matrices

    Idempotent binomial collapse

    A2=A  (I+A)n=I+(2n1)AA^2 = A \ \Rightarrow\ (I+A)^n = I + (2^n - 1)A
  • The Cayley-Hamilton equation

    Cayley-Hamilton (2×2)

    A2(trA)A+(detA)I=OA^2 - (\operatorname{tr}A)\,A + (\det A)\,I = O
  • Reducing higher powers with a polynomial relation

    Power reduction

    A2=pA+qI  A3=(p2+q)A+pqIA^2 = pA + qI \ \Rightarrow\ A^3 = (p^2+q)A + pq\,I
  • Sums of powers of a matrix

    Geometric sum for a rank-1 matrix

    A2=cA  k=1mAk=cm1c1AA^2 = cA \ \Rightarrow\ \sum_{k=1}^{m}A^k = \frac{c^m - 1}{c - 1}\,A
  • Powers under conjugation: (P⁻¹BP)ⁿ

    Conjugation commutes with powers

    (P1BP)n=P1BnP(PTP=IPT(PBPT)nP=Bn)(P^{-1}BP)^n = P^{-1}B^{n}P \qquad (P^{T}P = I \Rightarrow P^{T}(PBP^{T})^{n}P = B^{n})
  • Counting n with Aⁿ = A or Aⁿ = I

    Counting the exponents

    An=I    dn  #{nN}=NdA^n = I \iff d \mid n \ \Rightarrow\ \#\{n \le N\} = \left\lfloor \tfrac{N}{d} \right\rfloor
  • Eigenvalue and trace-determinant reasoning

    Sum and product of eigenvalues

    λ1+λ2=trA,λ1λ2=detA\lambda_1 + \lambda_2 = \operatorname{tr}A,\qquad \lambda_1\lambda_2 = \det A

Watch out for (11)

Drill every past-year question on this subtopic

44 questions from the bank — paginated, with cart and Word-export support.

Related notes