axiom
)show NonAssociativeAlgebra
 NonAssociativeAlgebra R: CommutativeRing  is a category constructor
 Abbreviation for NonAssociativeAlgebra is NAALG 
 This constructor is exposed in this frame.
 Issue )edit /usr/local/lib/axiom/target/x86_64-unknown-linux/../../src/algebra/NAALG.spad to see algebra source code for NAALG 
------------------------------- Operations --------------------------------
 ?*? : (R,%) -> %                      ?*? : (%,R) -> %
 ?*? : (%,%) -> %                      ?*? : (Integer,%) -> %
 ?*? : (PositiveInteger,%) -> %        ?**? : (%,PositiveInteger) -> %
 ?+? : (%,%) -> %                      ?-? : (%,%) -> %
 -? : % -> %                           ?=? : (%,%) -> Boolean
 0 : () -> %                           antiCommutator : (%,%) -> %
 associator : (%,%,%) -> %             coerce : % -> OutputForm
 commutator : (%,%) -> %               hash : % -> SingleInteger
 latex : % -> String                   sample : () -> %
 zero? : % -> Boolean                  ?~=? : (%,%) -> Boolean
 ?*? : (NonNegativeInteger,%) -> %
 leftPower : (%,PositiveInteger) -> %
 plenaryPower : (%,PositiveInteger) -> %
 rightPower : (%,PositiveInteger) -> %
 subtractIfCan : (%,%) -> Union(%,"failed")