QEtaLazyAlgebra(C, B)ΒΆ
qetaalg.spad line 502 [edit on github]
- B: Join(Monoid, AbelianGroup) with - *: (C, %) -> % 
The domain QEtaLazyAlgebra(C, B) behaves like the C-algebra B, but all arithmetic operations are stored as a tree and only performed when the element is coerced back into an element of B.
- 0: %
- from AbelianMonoid 
- 1: %
- from MagmaWithUnit 
- *: (C, %) -> %
- c*xcreate a new data structure for the multiplication of- cwith- x.
- *: (Integer, %) -> %
- from AbelianGroup 
- *: (NonNegativeInteger, %) -> %
- from AbelianMonoid 
- *: (PositiveInteger, %) -> %
- from AbelianSemiGroup 
- +: (%, %) -> %
- from AbelianSemiGroup 
- -: % -> %
- from AbelianGroup 
- -: (%, %) -> %
- from AbelianGroup 
- ^: (%, NonNegativeInteger) -> %
- from MagmaWithUnit 
- ^: (%, PositiveInteger) -> %
- from Magma 
- coerce: % -> B
- coerc( - x) turns the lazy data structure back into an element of- B.
- coerce: % -> OutputForm
- from CoercibleTo OutputForm 
- coerce: B -> %
- coerce(b)embeds element- binto this domain.
- latex: % -> String
- from SetCategory 
- leftPower: (%, NonNegativeInteger) -> %
- from MagmaWithUnit 
- leftPower: (%, PositiveInteger) -> %
- from Magma 
- leftRecip: % -> Union(%, failed)
- from MagmaWithUnit 
- one?: % -> Boolean
- from MagmaWithUnit 
- opposite?: (%, %) -> Boolean
- from AbelianMonoid 
- recip: % -> Union(%, failed)
- from MagmaWithUnit 
- rightPower: (%, NonNegativeInteger) -> %
- from MagmaWithUnit 
- rightPower: (%, PositiveInteger) -> %
- from Magma 
- rightRecip: % -> Union(%, failed)
- from MagmaWithUnit 
- sample: %
- from AbelianMonoid 
show: % -> OutputForm
- size: % -> Integer
- size(x)returns a concept of the size of the object.
- subtractIfCan: (%, %) -> Union(%, failed)
- zero?: % -> Boolean
- from AbelianMonoid