index.KAF

1562                
(|AbelianGroup|)
|category|
(((|AbelianGroup|) (|Category|)) (T |AbelianGroup|))
(T)
(|Join| (|CancellationAbelianMonoid|) (|LeftLinearSet| (|Integer|))
        (CATEGORY |domain| (SIGNATURE - ($ $)) (SIGNATURE - ($ $ $))))
"catdef.spad"
((- (*1 *1 *1) (|ofCategory| *1 (|AbelianGroup|)))
 (- (*1 *1 *1 *1) (|ofCategory| *1 (|AbelianGroup|))))
((~= (#1=((|Boolean|) $ $) 7 T ELT)) (|zero?| ((#2=(|Boolean|) $) 22 T ELT))
 (|subtractIfCan| (((|Maybe| $) $ $) 26 T ELT)) (|sample| (#3=($) 23 T CONST))
 (|opposite?| ((#2# $ $) 20 T ELT)) (|latex| (((|String|) $) 11 T ELT))
 (|hash| (((|SingleInteger|) $) 12 T ELT))
 (|coerce| (((|OutputForm|) $) 13 T ELT)) (|before?| (#1# 6 T ELT))
 (|Zero| (#3# 24 T CONST)) (= (#1# 8 T ELT))
 (- (($ $) 30 T ELT) (($ $ $) 29 T ELT)) (+ (($ $ $) 18 T ELT))
 (* (($ (|PositiveInteger|) $) 17 T ELT)
    (($ (|NonNegativeInteger|) $) 21 T ELT) (($ (|Integer|) $) 31 T ELT)))
ABELGRP
(((|CancellationAbelianMonoid|) . T) ((|LeftLinearSet| (|Integer|)) . T))
(((|AbelianMonoid|) . T) ((|AbelianSemiGroup|) . T) ((|BasicType|) . T)
 ((|CancellationAbelianMonoid|) . T) ((|CoercibleTo| (|OutputForm|)) . T)
 ((|LeftLinearSet| (|Integer|)) . T) ((|SetCategory|) . T) ((|Type|) . T))
((|constructor|
  (NIL
   "The class of abelian groups,{} \\spadignore{i.e.} additive monoids where each element has an additive inverse. \\blankline"))
 (-
  (($ $ $)
   "\\spad{x-y} is the difference of \\spad{x} and \\spad{y} \\spadignore{i.e.} \\spad{x + (-y)}.")
  (($ $) "\\spad{-x} is the additive inverse of \\spad{x}")))
(("documentation" 0 1232) ("ancestors" 0 1011) ("parents" 0 937)
 ("abbreviation" 0 929) ("predicates" 0 NIL) ("attributes" 0 NIL)
 ("signaturesAndLocals" 0 NIL) ("superDomain" 0 NIL) ("operationAlist" 0 365)
 ("modemaps" 0 259) ("sourceFile" 0 245) ("constructorCategory" 0 106)
 ("dualSignature" 0 102) ("constructorModemap" 0 49) ("constructorKind" 0 38)
 ("constructorForm" 0 21))