aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp2618logplain
-rw-r--r--ABELGRP.lsp671logplain
-rw-r--r--ABELMON-.lsp2177logplain
-rw-r--r--ABELMON.lsp713logplain
-rw-r--r--ABELSG-.lsp1209logplain
-rw-r--r--ABELSG.lsp590logplain
-rw-r--r--ALAGG.lsp2017logplain
-rw-r--r--BOOLEAN.lsp8327logplain
-rw-r--r--CABMON.lsp659logplain
-rw-r--r--CHAR.lsp9941logplain
-rw-r--r--CLAGG-.lsp10737logplain
-rw-r--r--CLAGG.lsp4068logplain
-rw-r--r--COMRING.lsp501logplain
-rw-r--r--DFLOAT.lsp50593logplain
-rw-r--r--DIFRING-.lsp2063logplain
-rw-r--r--DIFRING.lsp750logplain
-rw-r--r--DIVRING-.lsp2307logplain
-rw-r--r--DIVRING.lsp675logplain
-rw-r--r--ENTIRER.lsp450logplain
-rw-r--r--EUCDOM-.lsp27407logplain
-rw-r--r--EUCDOM.lsp1804logplain
-rw-r--r--FFIELDC-.lsp34328logplain
-rw-r--r--FFIELDC.lsp2347logplain
-rw-r--r--FPS-.lsp2003logplain
-rw-r--r--FPS.lsp2855logplain
-rw-r--r--GCDDOM-.lsp11918logplain
-rw-r--r--GCDDOM.lsp968logplain
-rw-r--r--HOAGG-.lsp13022logplain
-rw-r--r--HOAGG.lsp4470logplain
-rw-r--r--ILIST.lsp30631logplain
-rw-r--r--INS-.lsp17707logplain
-rw-r--r--INS.lsp2892logplain
-rw-r--r--INT.lsp30104logplain
-rw-r--r--INTDOM-.lsp3593logplain
-rw-r--r--INTDOM.lsp1016logplain
-rw-r--r--ISTRING.lsp47404logplain
-rw-r--r--LIST.lsp16405logplain
-rw-r--r--LNAGG-.lsp4017logplain
-rw-r--r--LNAGG.lsp3536logplain
-rw-r--r--LSAGG-.lsp42006logplain
-rw-r--r--LSAGG.lsp1207logplain
-rw-r--r--MONOID-.lsp1997logplain
-rw-r--r--MONOID.lsp706logplain
-rw-r--r--MTSCAT.lsp5023logplain
-rw-r--r--NNI.lsp5019logplain
-rw-r--r--OINTDOM.lsp434logplain
-rw-r--r--ORDRING-.lsp2525logplain
-rw-r--r--ORDRING.lsp699logplain
-rw-r--r--OUTFORM.lsp40925logplain
-rw-r--r--PI.lsp2859logplain
-rw-r--r--POLYCAT-.lsp93057logplain
-rw-r--r--POLYCAT.lsp11599logplain
-rw-r--r--QFCAT-.lsp21427logplain
-rw-r--r--QFCAT.lsp4785logplain
-rw-r--r--RCAGG-.lsp2330logplain
-rw-r--r--RCAGG.lsp2830logplain
-rw-r--r--RING-.lsp955logplain
-rw-r--r--RING.lsp730logplain
-rw-r--r--RNG.lsp276logplain
-rw-r--r--RNS-.lsp7514logplain
-rw-r--r--RNS.lsp1340logplain
-rw-r--r--SETAGG-.lsp2213logplain
-rw-r--r--SETAGG.lsp2040logplain
-rw-r--r--SINT.lsp28835logplain
-rw-r--r--STAGG-.lsp14536logplain
-rw-r--r--STAGG.lsp1443logplain
-rw-r--r--SYMBOL.lsp42551logplain
-rw-r--r--UFD-.lsp3624logplain
-rw-r--r--UFD.lsp814logplain
-rw-r--r--URAGG-.lsp31738logplain
-rw-r--r--URAGG.lsp4758logplain
-rw-r--r--VECTOR.lsp6647logplain