Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54525 views
Tweet
Share
Share
325                 
(|AbelianSemiGroup&| S)
|package|
(((|AbelianSemiGroup&| |#1|)
  (CATEGORY |package| (SIGNATURE * (|#1| (|PositiveInteger|) |#1|)))
  (|AbelianSemiGroup|))
 (T |AbelianSemiGroup&|))
(NIL T)
"catdef.spad"
((* (($ (|PositiveInteger|) $) 10 T ELT)))
((|ABELSG-;*;Pi2$;1| ($ (|PositiveInteger|) $)))
ABELSG-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 317)
 ("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 268)
 ("superDomain" 0 NIL) ("operationAlist" 0 225) ("modemaps" 0 NIL)
 ("sourceFile" 0 211) ("dualSignature" 0 203) ("constructorModemap" 0 55)
 ("constructorKind" 0 45) ("constructorForm" 0 21))