aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp4418logplain
-rw-r--r--ABELGRP.lsp882logplain
-rw-r--r--ABELMON-.lsp3606logplain
-rw-r--r--ABELMON.lsp1106logplain
-rw-r--r--ABELSG-.lsp2139logplain
-rw-r--r--ABELSG.lsp939logplain
-rw-r--r--ALAGG.lsp2633logplain
-rw-r--r--BOOLEAN.lsp11352logplain
-rw-r--r--CABMON.lsp1093logplain
-rw-r--r--CHAR.lsp12992logplain
-rw-r--r--CLAGG-.lsp16910logplain
-rw-r--r--CLAGG.lsp5447logplain
-rw-r--r--COMRING.lsp814logplain
-rw-r--r--DFLOAT.lsp61270logplain
-rw-r--r--DIFRING-.lsp3696logplain
-rw-r--r--DIFRING.lsp1153logplain
-rw-r--r--DIVRING-.lsp5007logplain
-rw-r--r--DIVRING.lsp1030logplain
-rw-r--r--ENTIRER.lsp746logplain
-rw-r--r--ES-.lsp55877logplain
-rw-r--r--ES.lsp8093logplain
-rw-r--r--EUCDOM-.lsp32716logplain
-rw-r--r--EUCDOM.lsp2399logplain
-rw-r--r--FFIELDC-.lsp39459logplain
-rw-r--r--FFIELDC.lsp3029logplain
-rw-r--r--FPS-.lsp4075logplain
-rw-r--r--FPS.lsp4183logplain
-rw-r--r--GCDDOM-.lsp13925logplain
-rw-r--r--GCDDOM.lsp1357logplain
-rw-r--r--HOAGG-.lsp18788logplain
-rw-r--r--HOAGG.lsp6065logplain
-rw-r--r--ILIST.lsp44982logplain
-rw-r--r--INS-.lsp26889logplain
-rw-r--r--INS.lsp3878logplain
-rw-r--r--INT.lsp37167logplain
-rw-r--r--INTDOM-.lsp6011logplain
-rw-r--r--INTDOM.lsp1449logplain
-rw-r--r--ISTRING.lsp61880logplain
-rw-r--r--LIST.lsp31935logplain
-rw-r--r--LNAGG-.lsp6772logplain
-rw-r--r--LNAGG.lsp4036logplain
-rw-r--r--LSAGG-.lsp54481logplain
-rw-r--r--LSAGG.lsp1666logplain
-rw-r--r--MONOID-.lsp3711logplain
-rw-r--r--MONOID.lsp1063logplain
-rw-r--r--MTSCAT.lsp5696logplain
-rw-r--r--NNI.lsp9066logplain
-rw-r--r--OINTDOM.lsp773logplain
-rw-r--r--ORDRING-.lsp3797logplain
-rw-r--r--ORDRING.lsp1020logplain
-rw-r--r--OUTFORM.lsp56619logplain
-rw-r--r--PI.lsp5108logplain
-rw-r--r--POLYCAT-.lsp117494logplain
-rw-r--r--POLYCAT.lsp13702logplain
-rw-r--r--PRIMARR.lsp20335logplain
-rw-r--r--PSETCAT-.lsp53736logplain
-rw-r--r--PSETCAT.lsp6784logplain
-rw-r--r--QFCAT-.lsp36892logplain
-rw-r--r--QFCAT.lsp5956logplain
-rw-r--r--RCAGG-.lsp3796logplain
-rw-r--r--RCAGG.lsp3897logplain
-rw-r--r--REF.lsp6439logplain
-rw-r--r--RING-.lsp1986logplain
-rw-r--r--RING.lsp965logplain
-rw-r--r--RNG.lsp483logplain
-rw-r--r--RNS-.lsp12304logplain
-rw-r--r--RNS.lsp1978logplain
-rw-r--r--SETAGG-.lsp4254logplain
-rw-r--r--SETAGG.lsp2858logplain
-rw-r--r--SETCAT-.lsp2284logplain
-rw-r--r--SETCAT.lsp1052logplain
-rw-r--r--SINT.lsp34824logplain
-rw-r--r--STAGG-.lsp22431logplain
-rw-r--r--STAGG.lsp1874logplain
-rw-r--r--SYMBOL.lsp52525logplain
-rw-r--r--TSETCAT-.lsp71304logplain
-rw-r--r--TSETCAT.lsp11392logplain
-rw-r--r--UFD-.lsp4916logplain
-rw-r--r--UFD.lsp1224logplain
-rw-r--r--ULSCAT.lsp6186logplain
-rw-r--r--UPOLYC-.lsp98739logplain
-rw-r--r--UPOLYC.lsp8788logplain
-rw-r--r--URAGG-.lsp42729logplain
-rw-r--r--URAGG.lsp6236logplain
-rw-r--r--VECTOR.lsp17632logplain