aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp2610logplain
-rw-r--r--ABELGRP.lsp631logplain
-rw-r--r--ABELMON-.lsp2170logplain
-rw-r--r--ABELMON.lsp713logplain
-rw-r--r--ABELSG-.lsp1203logplain
-rw-r--r--ABELSG.lsp590logplain
-rw-r--r--ALAGG.lsp1996logplain
-rw-r--r--BOOLEAN.lsp8343logplain
-rw-r--r--CABMON.lsp659logplain
-rw-r--r--CHAR.lsp13065logplain
-rw-r--r--CLAGG-.lsp8623logplain
-rw-r--r--CLAGG.lsp3878logplain
-rw-r--r--COMRING.lsp501logplain
-rw-r--r--DFLOAT.lsp47876logplain
-rw-r--r--DIFRING.lsp390logplain
-rw-r--r--DIVRING-.lsp2311logplain
-rw-r--r--DIVRING.lsp689logplain
-rw-r--r--ENTIRER.lsp450logplain
-rw-r--r--EUCDOM-.lsp18638logplain
-rw-r--r--EUCDOM.lsp1804logplain
-rw-r--r--FFIELDC-.lsp28757logplain
-rw-r--r--FFIELDC.lsp2347logplain
-rw-r--r--FPS-.lsp2012logplain
-rw-r--r--FPS.lsp2855logplain
-rw-r--r--GCDDOM-.lsp10309logplain
-rw-r--r--GCDDOM.lsp968logplain
-rw-r--r--HOAGG-.lsp9119logplain
-rw-r--r--HOAGG.lsp4469logplain
-rw-r--r--ILIST.lsp27516logplain
-rw-r--r--INS-.lsp16419logplain
-rw-r--r--INS.lsp2874logplain
-rw-r--r--INT.lsp29657logplain
-rw-r--r--INTDOM-.lsp3595logplain
-rw-r--r--INTDOM.lsp1016logplain
-rw-r--r--ISTRING.lsp38305logplain
-rw-r--r--LIST.lsp15213logplain
-rw-r--r--LNAGG-.lsp3710logplain
-rw-r--r--LNAGG.lsp3587logplain
-rw-r--r--LSAGG-.lsp32534logplain
-rw-r--r--LSAGG.lsp1152logplain
-rw-r--r--MONOID-.lsp1995logplain
-rw-r--r--MONOID.lsp706logplain
-rw-r--r--MTSCAT.lsp5156logplain
-rw-r--r--NNI.lsp4950logplain
-rw-r--r--OINTDOM.lsp434logplain
-rw-r--r--ORDRING-.lsp2523logplain
-rw-r--r--ORDRING.lsp699logplain
-rw-r--r--OUTFORM.lsp38815logplain
-rw-r--r--PI.lsp2814logplain
-rw-r--r--POLYCAT-.lsp68331logplain
-rw-r--r--POLYCAT.lsp11210logplain
-rw-r--r--QFCAT-.lsp20292logplain
-rw-r--r--QFCAT.lsp4637logplain
-rw-r--r--RCAGG-.lsp2330logplain
-rw-r--r--RCAGG.lsp2700logplain
-rw-r--r--RING-.lsp955logplain
-rw-r--r--RING.lsp725logplain
-rw-r--r--RNG.lsp276logplain
-rw-r--r--RNS-.lsp6747logplain
-rw-r--r--RNS.lsp1328logplain
-rw-r--r--SETAGG-.lsp2213logplain
-rw-r--r--SETAGG.lsp1963logplain
-rw-r--r--SINT.lsp28397logplain
-rw-r--r--STAGG-.lsp12997logplain
-rw-r--r--STAGG.lsp1379logplain
-rw-r--r--SYMBOL.lsp34888logplain
-rw-r--r--UFD-.lsp2843logplain
-rw-r--r--UFD.lsp814logplain
-rw-r--r--URAGG-.lsp24656logplain
-rw-r--r--URAGG.lsp4630logplain
-rw-r--r--VECTOR.lsp6940logplain