aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp2589logplain
-rw-r--r--ABELGRP.lsp689logplain
-rw-r--r--ABELMON-.lsp2278logplain
-rw-r--r--ABELMON.lsp909logplain
-rw-r--r--ABELSG-.lsp1374logplain
-rw-r--r--ABELSG.lsp713logplain
-rw-r--r--ALAGG.lsp2308logplain
-rw-r--r--BOOLEAN.lsp8615logplain
-rw-r--r--CABMON.lsp831logplain
-rw-r--r--CHAR.lsp8724logplain
-rw-r--r--CLAGG-.lsp11509logplain
-rw-r--r--CLAGG.lsp5243logplain
-rw-r--r--COMRING.lsp609logplain
-rw-r--r--DFLOAT.lsp49163logplain
-rw-r--r--DIFRING-.lsp2208logplain
-rw-r--r--DIFRING.lsp927logplain
-rw-r--r--DIVRING-.lsp2313logplain
-rw-r--r--DIVRING.lsp837logplain
-rw-r--r--ENTIRER.lsp561logplain
-rw-r--r--ES-.lsp40273logplain
-rw-r--r--ES.lsp7888logplain
-rw-r--r--EUCDOM-.lsp27446logplain
-rw-r--r--EUCDOM.lsp2194logplain
-rw-r--r--FFIELDC-.lsp33643logplain
-rw-r--r--FFIELDC.lsp2791logplain
-rw-r--r--FPS-.lsp2152logplain
-rw-r--r--FPS.lsp3945logplain
-rw-r--r--GCDDOM-.lsp11880logplain
-rw-r--r--GCDDOM.lsp1176logplain
-rw-r--r--HOAGG-.lsp14107logplain
-rw-r--r--HOAGG.lsp5788logplain
-rw-r--r--ILIST.lsp30980logplain
-rw-r--r--INS-.lsp17784logplain
-rw-r--r--INS.lsp3640logplain
-rw-r--r--INT.lsp29282logplain
-rw-r--r--INTDOM-.lsp3789logplain
-rw-r--r--INTDOM.lsp1248logplain
-rw-r--r--ISTRING.lsp48660logplain
-rw-r--r--LIST.lsp15628logplain
-rw-r--r--LNAGG-.lsp3980logplain
-rw-r--r--LNAGG.lsp3812logplain
-rw-r--r--LSAGG-.lsp42859logplain
-rw-r--r--LSAGG.lsp1450logplain
-rw-r--r--MONOID-.lsp2114logplain
-rw-r--r--MONOID.lsp894logplain
-rw-r--r--MTSCAT.lsp5347logplain
-rw-r--r--NNI.lsp5171logplain
-rw-r--r--OINTDOM.lsp527logplain
-rw-r--r--ORDRING-.lsp2527logplain
-rw-r--r--ORDRING.lsp831logplain
-rw-r--r--OUTFORM.lsp36667logplain
-rw-r--r--PI.lsp3160logplain
-rw-r--r--POLYCAT-.lsp94036logplain
-rw-r--r--POLYCAT.lsp13357logplain
-rw-r--r--PRIMARR.lsp10967logplain
-rw-r--r--PSETCAT-.lsp45787logplain
-rw-r--r--PSETCAT.lsp6349logplain
-rw-r--r--QFCAT-.lsp22069logplain
-rw-r--r--QFCAT.lsp5665logplain
-rw-r--r--RCAGG-.lsp2552logplain
-rw-r--r--RCAGG.lsp3661logplain
-rw-r--r--REF.lsp4049logplain
-rw-r--r--RING-.lsp1097logplain
-rw-r--r--RING.lsp849logplain
-rw-r--r--RNG.lsp326logplain
-rw-r--r--RNS-.lsp7476logplain
-rw-r--r--RNS.lsp1752logplain
-rw-r--r--SETAGG-.lsp2384logplain
-rw-r--r--SETAGG.lsp2639logplain
-rw-r--r--SETCAT-.lsp1434logplain
-rw-r--r--SETCAT.lsp863logplain
-rw-r--r--SINT.lsp25838logplain
-rw-r--r--STAGG-.lsp15529logplain
-rw-r--r--STAGG.lsp1650logplain
-rw-r--r--SYMBOL.lsp41627logplain
-rw-r--r--TSETCAT-.lsp53414logplain
-rw-r--r--TSETCAT.lsp10947logplain
-rw-r--r--UFD-.lsp3873logplain
-rw-r--r--UFD.lsp962logplain
-rw-r--r--ULSCAT.lsp5861logplain
-rw-r--r--UPOLYC-.lsp64145logplain
-rw-r--r--UPOLYC.lsp8457logplain
-rw-r--r--URAGG-.lsp31917logplain
-rw-r--r--URAGG.lsp5947logplain
-rw-r--r--VECTOR.lsp6653logplain