Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54546 views
Tweet
Share
Share
1


2
(DEFPARAMETER |AbelianSemiGroup;AL| NIL) 

3


4
(DEFUN |AbelianSemiGroup;| ()

5
  (LET ((#1=#:G540

6
         (|Join| (|SetCategory|)

7
                 (|mkCategory| '|domain|

8
                               '(((+ ($ $ $)) T)

9
                                 ((* ($ (|PositiveInteger|) $)) T))

10
                               NIL '((|PositiveInteger|)) NIL))))

11
    (PROGN (SETF (|shellEntry| #1# 0) '(|AbelianSemiGroup|)) #1#))) 

12


13
(DEFUN |AbelianSemiGroup| ()

14
  (COND (|AbelianSemiGroup;AL|)

15
        (T (SETQ |AbelianSemiGroup;AL| (|AbelianSemiGroup;|))))) 

16


17
(SETF (|dbConstructorDefault| (|constructorDB| '|AbelianSemiGroup|))

18
        '|AbelianSemiGroup&|) 

19


20
(SETF (|dbConstructorForm| (|constructorDB| '|AbelianSemiGroup|))

21
        '(|AbelianSemiGroup|)) 

22


23
(SETF (|dbConstructorKind| (|constructorDB| '|AbelianSemiGroup|)) '|category|) 

24


25
(SETF (|dbConstructorModemap| (|constructorDB| '|AbelianSemiGroup|))

26
        '(((|AbelianSemiGroup|) (|Category|)) (T |AbelianSemiGroup|))) 

27


28
(SETF (|dbDualSignature| (|constructorDB| '|AbelianSemiGroup|)) '(T)) 

29


30
(SETF (|dbCategory| (|constructorDB| '|AbelianSemiGroup|))

31
        '(|Join| (|SetCategory|)

32
                 (CATEGORY |domain| (SIGNATURE + ($ $ $))

33
                  (SIGNATURE * ($ (|PositiveInteger|) $))))) 

34


35
(SETF (|dbSourceFile| (|constructorDB| '|AbelianSemiGroup|)) '"catdef.spad") 

36


37
(SETF (|dbModemaps| (|constructorDB| '|AbelianSemiGroup|))

38
        '((+ (*1 *1 *1 *1) (|ofCategory| *1 (|AbelianSemiGroup|)))

39
          (* (*1 *1 *2 *1)

40
             (AND (|ofCategory| *1 (|AbelianSemiGroup|))

41
                  (|isDomain| *2 (|PositiveInteger|)))))) 

42


43
(SETF (|dbOperations| (|constructorDB| '|AbelianSemiGroup|))

44
        '((~= (#1=((|Boolean|) $ $) 7 T ELT))

45
          (|latex| (((|String|) $) 11 T ELT))

46
          (|hash| (((|SingleInteger|) $) 12 T ELT))

47
          (|coerce| (((|OutputForm|) $) 13 T ELT)) (|before?| (#1# 6 T ELT))

48
          (= (#1# 8 T ELT)) (+ (($ $ $) 18 T ELT))

49
          (* (($ (|PositiveInteger|) $) 17 T ELT)))) 

50


51
(SETF (|dbAbbreviation| (|constructorDB| '|AbelianSemiGroup|)) 'ABELSG) 

52


53
(SETF (|dbPrincipals| (|constructorDB| '|AbelianSemiGroup|))

54
        '(((|SetCategory|) . T))) 

55


56
(SETF (|dbAncestors| (|constructorDB| '|AbelianSemiGroup|))

57
        '(((|BasicType|) . T) ((|CoercibleTo| (|OutputForm|)) . T)

58
          ((|SetCategory|) . T) ((|Type|) . T))) 

59


60