The matrices constructed by this can get very large.
i1 : ea = exteriorExtension(3, 7, e, QQ);
i2 : A = ea.ad(first ea.bases#1); 174 174 o2 : Matrix QQ <-- QQ
i3 : rank A o3 = 46
This rank is an invariant
The object ad is a symbol.
The source of this document is in ExteriorExtensions.m2:571:0.