pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.
leesongun
total rewrite of polynomials
Created by leesongun on Mar 11, 2023, 11:20 PM
2QLPCGXFMHV6EF5SVXUQ4UVVVH55XMJAMMNA64IK3J7QD3ZIZO5QC
State: KPGCK6OR4PSU62KCI4PQNKMDVEYJJKOWYWSFJJPML6J3ULKOE72AC
leesongun
record old implementation of Polynomial
Created by leesongun on Mar 11, 2023, 9:37 PM
QHHC3PPIPXKF5WLM7DROFGNKHOFNNTGMW62NAILSEEGDXXSBSNIAC
State: DD4T5IXM3BIER2E5KDHHMGOANETZ4SPZL42X3NJHXQLKAANDRMQAC
leesongun
rename functions
Created by leesongun on Mar 10, 2023, 11:59 PM
J5S73FCKLNL2LIZW3SWYM7ADQ4K7QQMP24YA6DPLMO2UOYSTBPCQC
State: JI4XDDVTEAP2EYZMINAZFW5W4OCJCCFVE7JDRAP67WC4V6PIWDCQC
leesongun
concise implementation (type theoretically and computationally slightly worse)
Created by leesongun on Mar 10, 2023, 11:29 PM
CMHGXE7Y2WB5BVYQWGKXKVUGPURGAZVX75HGZ6DDZVUOHAFFKNNAC
State: JM7M6WD4K5YQUMXA4KLJO2DNQXGUSUDZCUYOBB6ZX6QDNNKY7H6AC
leesongun
initial implementation of crystal operators
Created by leesongun on Mar 10, 2023, 10:59 PM
VLK55FT2FAYBLPUG4RXT3MWIERJZCOIMLWIXQ5LHUZU6DO2MK4XQC
State: Y25EKXHP64OMMJNL63D6TONPNKUFJNQO6E6H2J74AYMOPQGP3E3AC
leesongun
record initial implementation of crystal operators
Created by leesongun on Mar 10, 2023, 10:22 PM
2GTT2RY6X3NOGCCM4WDVYB5L22JZQ2Z4OZMZKRECY7ETRCBQUSEQC
State: 3US6BBKJFNIUQAXJLLWM2H6JNA2HXNROPTU7ADEZI2RP4N5XXRLAC
leesongun
update dependent fold
Created by leesongun on Mar 10, 2023, 10:02 PM
NTSW5EF6MXRMQ3W5NRFFSSFJRXLNAFL4DLCWDQS5FSGP5FJMEO4AC
State: CMVTZDXH6PUHFUMDRN3MNAWCA5C2YCDFJJTGPA37XW336B2C3YDAC
leesongun
implement dependent fold
Created by leesongun on Mar 10, 2023, 9:44 PM
65A27CAQULABDHBVYQPTB6LUM6UZ4S3UTJ4Z753KSZTFPXVHTMBQC
State: JEZWP7SFZCGSK3MADIUK6IM44PML4P3TROWLTQ7LVRPGHVMS2BVQC
leesongun
tidy imports; more aligned condition
Created by leesongun on Mar 9, 2023, 11:22 PM
SWTKQH3NQH23WNI5LLZM7XW4QDHG3XHJ552DPVXUHAZO236SPHRQC
State: 24SNP4UTA3SV6M2NMVAFFEBVQD55CEX4M4ZHZQ7PUOD6SGBX6M4QC
leesongun
add test implementation of Plactic monoid
Created by leesongun on Mar 9, 2023, 11:13 PM
ZAH4MBPK5B5DHU5PCSCLDF2RLF3SBPJCZ7VUHT6M73NT6TFWNAIAC
State: FTLI4NIS5PTRZTQWAM5WPL2NAGMYDYVLNRIWH2ROOR5HTJLKVNQQC
leesongun
add interface for compatibility between Eq and Ord
Created by leesongun on Mar 9, 2023, 6:08 PM
YIWX5KUGM4NC2NCS5IZSAIUGYAVNOR4ARF5KVZHS3QRLLWLO6VKQC
State: EX2PRQFCOD2MTF3RNIEWZD2DQTR7JGKF3MDLRUXQOJ32TRC4VZQQC
leesongun
add initial implementation of superalphabet
Created by leesongun on Mar 9, 2023, 3:12 AM
W6YVWM425CER5JXM43WPK4YEYB72ISYBB2XPVZJU7SSVFSUFQ5WAC
State: KKL4QKTGJ5COF2VYUPIQJKK5QVDYT5PNKJ7RU4SBTN6NXU27G32QC
leesongun
add total ordering
Created by leesongun on Mar 9, 2023, 2:41 AM
VCJVFB63BO24WVAGQLIAA4O7GPKLSZPE54ZNPGX4PVRISU3XFUFAC
State: SU3JOL5755XZ42ZXLQWCKG437EF5UBUXCYCTVK5NEF7J4VLGLMOAC
leesongun
add SUSY degree
Created by leesongun on Mar 9, 2023, 2:40 AM
ROKTK7EK6FGN2NR6EC74O534SCDB3JMANXVSZSO6ADFCCZTT5EKAC
State: ZLYFXB2MNFRUEUI65H5EKSMVPTUC2GRCM2RSVFKLYNBJEZMH6RZAC
State: WIQFVIKFREYPTLWD53L2BIACXSBGLDLSIPPU3Z7ATLNIIUZJUK5QC