Add alphabetic order options - #6

Merged

rocky merged 10 commits into

add-AlphabeticOrder-options

Jun 13, 2026

Commits on Jun 9, 2026

First cut adding AlphabeticOrder options
rocky
committed
763ca5a
Handle "Automatic" option for AlphbeticOrder
rocky
committed
2b2452b
Add IgnorePunctuation option to AddAlphabeticOrder
rocky
committed
4d4fe32
YML lint config file
rocky
committed
f181c26
CI woes
rocky
committed
4db8f7a
Work towards getting error messages under control
rocky
committed
e3b78fc

Commits on Jun 10, 2026

Black
rocky
committed
bf36722

Commits on Jun 11, 2026

Finish option checking for AlphabeticOrder
rocky
committed
20b6a8b
CI needs recent mathics-core changes
rocky
committed
08add84
Recognize and handle operator forms of AlphabetOrder
rocky
committed
3e9e0bf