aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
ModeNameSize
-rw-r--r--ABELGRP-.lsp3955logplain
-rw-r--r--ABELGRP.lsp889logplain
-rw-r--r--ABELMON-.lsp3156logplain
-rw-r--r--ABELMON.lsp1113logplain
-rw-r--r--ABELSG-.lsp2002logplain
-rw-r--r--ABELSG.lsp946logplain
-rw-r--r--ALAGG.lsp2633logplain
-rw-r--r--BOOLEAN.lsp8987logplain
-rw-r--r--CABMON.lsp1100logplain
-rw-r--r--CHAR.lsp11043logplain
-rw-r--r--CLAGG-.lsp15501logplain
-rw-r--r--CLAGG.lsp5447logplain
-rw-r--r--COMRING.lsp821logplain
-rw-r--r--DFLOAT.lsp51996logplain
-rw-r--r--DIFRING-.lsp3312logplain
-rw-r--r--DIFRING.lsp1160logplain
-rw-r--r--DIVRING-.lsp4796logplain
-rw-r--r--DIVRING.lsp1037logplain
-rw-r--r--ENTIRER.lsp753logplain
-rw-r--r--ES-.lsp51144logplain
-rw-r--r--ES.lsp8100logplain
-rw-r--r--EUCDOM-.lsp31473logplain
-rw-r--r--EUCDOM.lsp2406logplain
-rw-r--r--FFIELDC-.lsp37774logplain
-rw-r--r--FFIELDC.lsp3036logplain
-rw-r--r--FPS-.lsp3868logplain
-rw-r--r--FPS.lsp4190logplain
-rw-r--r--GCDDOM-.lsp13517logplain
-rw-r--r--GCDDOM.lsp1364logplain
-rw-r--r--HOAGG-.lsp17669logplain
-rw-r--r--HOAGG.lsp6065logplain
-rw-r--r--ILIST.lsp42728logplain
-rw-r--r--INS-.lsp23904logplain
-rw-r--r--INS.lsp3885logplain
-rw-r--r--INT.lsp31146logplain
-rw-r--r--INTDOM-.lsp5379logplain
-rw-r--r--INTDOM.lsp1456logplain
-rw-r--r--ISTRING.lsp59358logplain
-rw-r--r--LIST.lsp30603logplain
-rw-r--r--LNAGG-.lsp6110logplain
-rw-r--r--LNAGG.lsp4036logplain
-rw-r--r--LSAGG-.lsp51446logplain
-rw-r--r--LSAGG.lsp1666logplain
-rw-r--r--MONOID-.lsp3306logplain
-rw-r--r--MONOID.lsp1074logplain
-rw-r--r--MTSCAT.lsp5696logplain
-rw-r--r--NNI.lsp8518logplain
-rw-r--r--OINTDOM.lsp780logplain
-rw-r--r--ORDRING-.lsp3394logplain
-rw-r--r--ORDRING.lsp1027logplain
-rw-r--r--OUTFORM.lsp47983logplain
-rw-r--r--PI.lsp5108logplain
-rw-r--r--POLYCAT-.lsp112445logplain
-rw-r--r--POLYCAT.lsp13702logplain
-rw-r--r--PRIMARR.lsp19074logplain
-rw-r--r--PSETCAT-.lsp50831logplain
-rw-r--r--PSETCAT.lsp6784logplain
-rw-r--r--QFCAT-.lsp34085logplain
-rw-r--r--QFCAT.lsp5956logplain
-rw-r--r--RCAGG-.lsp3438logplain
-rw-r--r--RCAGG.lsp3897logplain
-rw-r--r--REF.lsp5800logplain
-rw-r--r--RING-.lsp1888logplain
-rw-r--r--RING.lsp972logplain
-rw-r--r--RNG.lsp490logplain
-rw-r--r--RNS-.lsp11286logplain
-rw-r--r--RNS.lsp1985logplain
-rw-r--r--SETAGG-.lsp3808logplain
-rw-r--r--SETAGG.lsp2858logplain
-rw-r--r--SETCAT-.lsp2089logplain
-rw-r--r--SETCAT.lsp1059logplain
-rw-r--r--SINT.lsp29464logplain
-rw-r--r--STAGG-.lsp20961logplain
-rw-r--r--STAGG.lsp1874logplain
-rw-r--r--SYMBOL.lsp49341logplain
-rw-r--r--TSETCAT-.lsp66832logplain
-rw-r--r--TSETCAT.lsp11392logplain
-rw-r--r--UFD-.lsp4716logplain
-rw-r--r--UFD.lsp1231logplain
-rw-r--r--ULSCAT.lsp6186logplain
-rw-r--r--UPOLYC-.lsp92450logplain
-rw-r--r--UPOLYC.lsp8788logplain
-rw-r--r--URAGG-.lsp39004logplain
-rw-r--r--URAGG.lsp6236logplain
-rw-r--r--VECTOR.lsp17427logplain