aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp2007logplain
-rw-r--r--ABELGRP.lsp687logplain
-rw-r--r--ABELMON-.lsp1761logplain
-rw-r--r--ABELMON.lsp907logplain
-rw-r--r--ABELSG-.lsp1186logplain
-rw-r--r--ABELSG.lsp711logplain
-rw-r--r--ALAGG.lsp2307logplain
-rw-r--r--BOOLEAN.lsp6038logplain
-rw-r--r--CABMON.lsp829logplain
-rw-r--r--CHAR.lsp6387logplain
-rw-r--r--CLAGG-.lsp9695logplain
-rw-r--r--CLAGG.lsp5222logplain
-rw-r--r--COMRING.lsp607logplain
-rw-r--r--DFLOAT.lsp39404logplain
-rw-r--r--DIFRING-.lsp1731logplain
-rw-r--r--DIFRING.lsp925logplain
-rw-r--r--DIVRING-.lsp2140logplain
-rw-r--r--DIVRING.lsp898logplain
-rw-r--r--ENTIRER.lsp559logplain
-rw-r--r--ES-.lsp35676logplain
-rw-r--r--ES.lsp7886logplain
-rw-r--r--EUCDOM-.lsp26366logplain
-rw-r--r--EUCDOM.lsp1700logplain
-rw-r--r--FFIELDC-.lsp32790logplain
-rw-r--r--FFIELDC.lsp2789logplain
-rw-r--r--FPS-.lsp1883logplain
-rw-r--r--FPS.lsp3943logplain
-rw-r--r--GCDDOM-.lsp10566logplain
-rw-r--r--GCDDOM.lsp1174logplain
-rw-r--r--HOAGG-.lsp12586logplain
-rw-r--r--HOAGG.lsp5783logplain
-rw-r--r--ILIST.lsp28513logplain
-rw-r--r--INS-.lsp13794logplain
-rw-r--r--INS.lsp3694logplain
-rw-r--r--INT.lsp22396logplain
-rw-r--r--INTDOM-.lsp2985logplain
-rw-r--r--INTDOM.lsp1246logplain
-rw-r--r--ISTRING.lsp43287logplain
-rw-r--r--LIST.lsp13761logplain
-rw-r--r--LNAGG-.lsp3224logplain
-rw-r--r--LNAGG.lsp3791logplain
-rw-r--r--LSAGG-.lsp37003logplain
-rw-r--r--LSAGG.lsp1429logplain
-rw-r--r--MONOID-.lsp1789logplain
-rw-r--r--MONOID.lsp966logplain
-rw-r--r--MTSCAT.lsp5346logplain
-rw-r--r--NNI.lsp4620logplain
-rw-r--r--OINTDOM.lsp525logplain
-rw-r--r--ORDRING-.lsp2011logplain
-rw-r--r--ORDRING.lsp829logplain
-rw-r--r--OUTFORM.lsp24341logplain
-rw-r--r--PI.lsp3190logplain
-rw-r--r--POLYCAT-.lsp89176logplain
-rw-r--r--POLYCAT.lsp13356logplain
-rw-r--r--PRIMARR.lsp9568logplain
-rw-r--r--PSETCAT-.lsp43790logplain
-rw-r--r--PSETCAT.lsp6352logplain
-rw-r--r--QFCAT-.lsp19262logplain
-rw-r--r--QFCAT.lsp5660logplain
-rw-r--r--RCAGG-.lsp2109logplain
-rw-r--r--RCAGG.lsp3640logplain
-rw-r--r--REF.lsp3326logplain
-rw-r--r--RING-.lsp955logplain
-rw-r--r--RING.lsp802logplain
-rw-r--r--RNG.lsp324logplain
-rw-r--r--RNS-.lsp5844logplain
-rw-r--r--RNS.lsp1750logplain
-rw-r--r--SETAGG-.lsp1938logplain
-rw-r--r--SETAGG.lsp2618logplain
-rw-r--r--SETCAT-.lsp1157logplain
-rw-r--r--SETCAT.lsp861logplain
-rw-r--r--SINT.lsp19567logplain
-rw-r--r--STAGG-.lsp13498logplain
-rw-r--r--STAGG.lsp1629logplain
-rw-r--r--SYMBOL.lsp39002logplain
-rw-r--r--TSETCAT-.lsp50115logplain
-rw-r--r--TSETCAT.lsp10950logplain
-rw-r--r--UFD-.lsp3673logplain
-rw-r--r--UFD.lsp960logplain
-rw-r--r--ULSCAT.lsp5860logplain
-rw-r--r--UPOLYC-.lsp58059logplain
-rw-r--r--UPOLYC.lsp8474logplain
-rw-r--r--URAGG-.lsp26795logplain
-rw-r--r--URAGG.lsp5942logplain
-rw-r--r--VECTOR.lsp6448logplain