Rework the matricize, contract, and factorization surfaces - #233

Merged

mtfishman merged 33 commits into

mainfrom

Sep 24, 2026

Commits on Sep 15, 2026

Open the v0.21 breaking round

mtfishman
and
claude
committed
66678b6
Delete the out-of-place unmatricizeperm

mtfishman
and
claude
committed
4a63a19
Name the unmatricize bipermutation for what it is

mtfishman
and
claude
committed
1752164
Merge unmatricizeperm! into unmatricize!

mtfishman
and
claude
committed
3a9139d
Report an unusable contraction keyword by name

mtfishman
and
claude
committed
00da2dc
Drop the unused Ellipsis bipermutation spelling

mtfishman
and
claude
committed
5df5d28
Leave the bipermutation arguments untyped

mtfishman
and
claude
committed
1ec949f
Ask about identity bipermutations with both halves

mtfishman
and
claude
committed
f5d7f6a

Commits on Sep 16, 2026

Give matricize one primitive per operation

mtfishman
and
claude
committed
77cc3c7
Say identity, not trivial, for the do-nothing bipermutation

mtfishman
and
claude
committed
b9a884c
Move the tests onto the matricize hooks

mtfishman
and
claude
committed
facedf4
Offer the split-only spelling as convenience again

mtfishman
and
claude
committed
21eb461
Remove gram_eigh_full, gram_eigh_full_with_pinv, and sqrth_invsqrth_safe

mtfishman
and
claude
committed
9e41545
Let a style overload the total matricize copy

mtfishman
and
claude
committed
ec471e8
Give the contract interface one name per argument form

mtfishman
and
claude
committed
4a83020
Declare contractadd! public

mtfishman
and
claude
committed
678b3ba
Drop the algorithm-positional non-mutating contractions

mtfishman
and
claude
committed
6100505

Commits on Sep 23, 2026

Restore sqrth_invsqrth_safe

mtfishman
and
claude
committed
ca7f06f
Correct the contract and contractalign docstrings

mtfishman
and
claude
committed
984618e
Declare the supported interface

mtfishman
and
claude
committed
20d66f7
Set the version to 0.21.0

mtfishman
and
claude
committed
d06a5bd
Generalize algorithm selection across operations

mtfishman
and
claude
committed
10be55e
Pack algorithm selection arguments into a tuple

mtfishman
and
claude
committed
c532419
Build the identity bipermutation from ranks alone

mtfishman
and
claude
committed
4b6542f
Name each contract argument form

mtfishman
and
claude
committed
0f6924b

Commits on Sep 24, 2026

Add ndims_domain beside ndims_codomain

mtfishman
and
claude
committed
83af7be
Fill the identity through MatrixAlgebra.one!

mtfishman
and
claude
committed
931c575
Key the Diagonal contract allocation on the destination shape

mtfishman
and
claude
committed
fe77d83
Return one in the same array type as its argument

mtfishman
and
claude
committed
fea40b5
Test the contract bipermutation ladder directly

mtfishman
and
claude
committed
c36b040
Allocate a conjugated TensorMap matricization over the dualized space

mtfishman
and
claude
committed
d392c8c
Check that every declared public name resolves

mtfishman
and
claude
committed
5e6704e
Drop the public-name resolvability check
mtfishman
committed
166063a