Changeset 3329

Timestamp:

2015-06-23T10:28:54-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (1 diff)

branches/f4grobner/monom.lisp

@@ -74 +74 @@
                                        &allow-other-keys
                                        )
-  "The following INITIALIZE-INSTANCE method allows instance initialization in a style similar to MAKE-ARRAY, e.g.
+  "The following INITIALIZE-INSTANCE method allows instance initialization
+of a MONOM in a style similar to MAKE-ARRAY, e.g.:
 
  (MAKE-INSTANCE :EXPONENTS '(1 2 3))      --> #<MONOM EXPONENTS=#(1 2 3)>
  (MAKE-INSTANCE :DIMENSION 3)             --> #<MONOM EXPONENTS=#(0 0 0)>
  (MAKE-INSTANCE :DIMENSION 3 :EXPONENT 7) --> #<MONOM EXPONENTS=#(7 7 7)>
+
+If both DIMENSION and EXPONENTS are supplied, they must be compatible,
+i.e. the length of EXPONENTS must be equal DIMENSION. If EXPONENTS
+is not supplied, a monom with repeated value EXPONENT is created.
+By default EXPONENT is 0, which results in a constant monomial.
 "
   (cond