total rewrite of polynomials
Created by  leesongun  on March 11, 2023
2QLPCGXFMHV6EF5SVXUQ4UVVVH55XMJAMMNA64IK3J7QD3ZIZO5QC
record old implementation of Polynomial
Created by  leesongun  on March 11, 2023
QHHC3PPIPXKF5WLM7DROFGNKHOFNNTGMW62NAILSEEGDXXSBSNIAC
rename functions
Created by  leesongun  on March 10, 2023
J5S73FCKLNL2LIZW3SWYM7ADQ4K7QQMP24YA6DPLMO2UOYSTBPCQC
concise implementation (type theoretically and computationally slightly worse)
Created by  leesongun  on March 10, 2023
CMHGXE7Y2WB5BVYQWGKXKVUGPURGAZVX75HGZ6DDZVUOHAFFKNNAC
initial implementation of crystal operators
Created by  leesongun  on March 10, 2023
VLK55FT2FAYBLPUG4RXT3MWIERJZCOIMLWIXQ5LHUZU6DO2MK4XQC
record initial implementation of crystal operators
Created by  leesongun  on March 10, 2023
2GTT2RY6X3NOGCCM4WDVYB5L22JZQ2Z4OZMZKRECY7ETRCBQUSEQC
update dependent fold
Created by  leesongun  on March 10, 2023
NTSW5EF6MXRMQ3W5NRFFSSFJRXLNAFL4DLCWDQS5FSGP5FJMEO4AC
implement dependent fold
Created by  leesongun  on March 10, 2023
65A27CAQULABDHBVYQPTB6LUM6UZ4S3UTJ4Z753KSZTFPXVHTMBQC
tidy imports; more aligned condition
Created by  leesongun  on March 9, 2023
SWTKQH3NQH23WNI5LLZM7XW4QDHG3XHJ552DPVXUHAZO236SPHRQC
add test implementation of Plactic monoid
Created by  leesongun  on March 9, 2023
ZAH4MBPK5B5DHU5PCSCLDF2RLF3SBPJCZ7VUHT6M73NT6TFWNAIAC
add interface for compatibility between Eq and Ord
Created by  leesongun  on March 9, 2023
YIWX5KUGM4NC2NCS5IZSAIUGYAVNOR4ARF5KVZHS3QRLLWLO6VKQC
add initial implementation of superalphabet
Created by  leesongun  on March 8, 2023
W6YVWM425CER5JXM43WPK4YEYB72ISYBB2XPVZJU7SSVFSUFQ5WAC
add total ordering
Created by  leesongun  on March 8, 2023
VCJVFB63BO24WVAGQLIAA4O7GPKLSZPE54ZNPGX4PVRISU3XFUFAC
add SUSY degree
Created by  leesongun  on March 8, 2023
ROKTK7EK6FGN2NR6EC74O534SCDB3JMANXVSZSO6ADFCCZTT5EKAC
(no change message)
Created by   on March 8, 2023
A3W3U5BHND4V54KWVKN4LU5J43UPCFPA2KR7QXCG5IWZIM442MLQC