aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp2601logplain
-rw-r--r--ABELGRP.lsp635logplain
-rw-r--r--ABELMON-.lsp2179logplain
-rw-r--r--ABELMON.lsp717logplain
-rw-r--r--ABELSG-.lsp1218logplain
-rw-r--r--ABELSG.lsp594logplain
-rw-r--r--ALAGG.lsp2004logplain
-rw-r--r--BOOLEAN.lsp8622logplain
-rw-r--r--CABMON.lsp663logplain
-rw-r--r--CHAR.lsp12958logplain
-rw-r--r--CLAGG-.lsp8676logplain
-rw-r--r--CLAGG.lsp3892logplain
-rw-r--r--COMRING.lsp505logplain
-rw-r--r--DFLOAT.lsp48103logplain
-rw-r--r--DIFRING.lsp394logplain
-rw-r--r--DIVRING-.lsp2293logplain
-rw-r--r--DIVRING.lsp693logplain
-rw-r--r--ENTIRER.lsp454logplain
-rw-r--r--EUCDOM-.lsp18311logplain
-rw-r--r--EUCDOM.lsp1808logplain
-rw-r--r--FFIELDC-.lsp28588logplain
-rw-r--r--FFIELDC.lsp2351logplain
-rw-r--r--FPS-.lsp2012logplain
-rw-r--r--FPS.lsp2859logplain
-rw-r--r--GCDDOM-.lsp10047logplain
-rw-r--r--GCDDOM.lsp972logplain
-rw-r--r--HOAGG-.lsp9214logplain
-rw-r--r--HOAGG.lsp4475logplain
-rw-r--r--ILIST.lsp27413logplain
-rw-r--r--INS-.lsp16094logplain
-rw-r--r--INS.lsp2878logplain
-rw-r--r--INT.lsp29403logplain
-rw-r--r--INTDOM-.lsp3569logplain
-rw-r--r--INTDOM.lsp1020logplain
-rw-r--r--ISTRING.lsp37451logplain
-rw-r--r--LIST.lsp15004logplain
-rw-r--r--LNAGG-.lsp3654logplain
-rw-r--r--LNAGG.lsp3593logplain
-rw-r--r--LSAGG-.lsp31184logplain
-rw-r--r--LSAGG.lsp1166logplain
-rw-r--r--MONOID-.lsp1998logplain
-rw-r--r--MONOID.lsp710logplain
-rw-r--r--MTSCAT.lsp5164logplain
-rw-r--r--NNI.lsp4867logplain
-rw-r--r--OINTDOM.lsp438logplain
-rw-r--r--ORDRING-.lsp2508logplain
-rw-r--r--ORDRING.lsp703logplain
-rw-r--r--OUTFORM.lsp38619logplain
-rw-r--r--PI.lsp2760logplain
-rw-r--r--POLYCAT-.lsp67707logplain
-rw-r--r--POLYCAT.lsp11218logplain
-rw-r--r--QFCAT-.lsp19959logplain
-rw-r--r--QFCAT.lsp4643logplain
-rw-r--r--RCAGG-.lsp2340logplain
-rw-r--r--RCAGG.lsp2706logplain
-rw-r--r--RING-.lsp964logplain
-rw-r--r--RING.lsp729logplain
-rw-r--r--RNG.lsp280logplain
-rw-r--r--RNS-.lsp6581logplain
-rw-r--r--RNS.lsp1332logplain
-rw-r--r--SETAGG-.lsp2202logplain
-rw-r--r--SETAGG.lsp1977logplain
-rw-r--r--SINT.lsp28286logplain
-rw-r--r--STAGG-.lsp13029logplain
-rw-r--r--STAGG.lsp1385logplain
-rw-r--r--SYMBOL.lsp34367logplain
-rw-r--r--UFD-.lsp2834logplain
-rw-r--r--UFD.lsp818logplain
-rw-r--r--URAGG-.lsp23278logplain
-rw-r--r--URAGG.lsp4636logplain
-rw-r--r--VECTOR.lsp6901logplain