Re: [Axiom-mail] Windows: where's the documentation?

[root]

Here is the output of the asq function for Integer


address@hidden root]# asq
asq -property searchkey 

property is one of the following flags: 
 (al)    all (default)         (sh)    short
 (ab)    abbreviation          (an)    ancestors
 (at)    attributes            (ca cc) constructorcategory
 (cf fo) constructorform       (ck ki) constructorkind
 (cm)    constructormodemap    (con)   constructor
 (cos)   cosig                 (de)    defaultdomain
 (dom)   domain                (doc)   documentation
 (mo)    modemaps              (ni)    niladic
 (ob)    object                (op)    operationalist
 (pr)    predicates            (so)    sourcefile
searchkey can be either a domain or its abbreviation.

 e.g. asq -so Integer
   will give the source file name written to stdout
 (Version 7)






address@hidden root]# asq -so Integer
INT.spad




address@hidden root]# asq -all Integer
Searching /boot/axiom/mnt/linux/algebra/interp.daase for Integer
Searching /boot/axiom/mnt/linux/algebra/browse.daase for Integer

Integer
...is defined in the source file "INT.spad"
...loading info not available yet
...is a domain
...is niladic
...is abbreviated as INT
...has no default domain
...has no ancestors
...has the operations: 
      ~=
      zero?
      unitNormal
      unitCanonical
      unit?
      symmetricRemainder
      subtractIfCan
      submod
      squareFreePart
      squareFree
      sizeLess?
      sign
      shift
      sample
      retractIfCan
      retract
      rem
      reducedSystem
      recip
      rationalIfCan
      rational?
      rational
      random
      quo
      principalIdeal
      prime?
      powmod
      positiveRemainder
      positive?
      permutation
      patternMatch
      one?
      odd?
      nextItem
      negative?
      multiEuclidean
      mulmod
      min
      max
      mask
      length
      lcm
      latex
      invmod
      init
      inc
      hash
      gcdPolynomial
      gcd
      factorial
      factor
      extendedEuclidean
      exquo
      expressIdealMember
      even?
      euclideanSize
      divide
      differentiate
      dec
      copy
      convert
      coerce
      characteristic
      bit?
      binomial
      base
      associates?
      addmod
      abs
      ^
      Zero
      One
      OMwrite
      D
      >=
      >
      =
      <=
      <
      -
      +
      ** 
      * 
...has the attributes: 
      infinite
      noetherian
      canonicalsClosed
      canonical
      canonicalUnitNormal
      multiplicativeValuation
      noZeroDivisors
      (commutative "*"")
      rightUnitary
      leftUnitary
      unitsKnown
...has the cosig: (NIL)
...has the constructorform: 
      (Integer)
...has the constructormodemap: 
      (
        (
          (Integer) 
          (Join 
            (IntegerNumberSystem) 
            (ConvertibleTo 
              (String)) 
            (OpenMath) 
            (CATEGORY domain 
              (SIGNATURE random 
                ($ $)) 
              (ATTRIBUTE canonical) 
              (ATTRIBUTE canonicalsClosed) 
              (ATTRIBUTE noetherian) 
              (ATTRIBUTE infinite)))) 
        (T Integer))
...has the modemaps: 
      (
        (random 
          (*1 *1 *1) 
          (isDomain *1 
            (Integer))))
...has the constructorcategory: 
      (Join 
        (IntegerNumberSystem) 
        (ConvertibleTo 
          (String)) 
        (OpenMath) 
        (CATEGORY domain 
          (SIGNATURE random 
            ($ $)) 
          (ATTRIBUTE canonical) 
          (ATTRIBUTE canonicalsClosed) 
          (ATTRIBUTE noetherian) 
          (ATTRIBUTE infinite)))
...has the documentation: 
      (
        (constructor 
          (NIL "\spadtype{Integer} provides the domain of arbitrary precision 
integers."")) 
        (infinite 
          (
            (attribute) "nextItem never returns "failed"."")) 
        (noetherian 
          (
            (attribute) "ascending chain condition on ideals."")) 
        (canonicalsClosed 
          (
            (attribute) "two positives multiply to give positive."")) 
        (canonical 
          (
            (attribute) "mathematical equality is data structure equality."")) 
        (random 
          (
            ($ $) "\spad{random
            (n)} returns a random integer from 0 to \spad{nMapping}."")))
...has no predicates
address@hidden root]#