Changeset 97 for branches/f4grobner

Timestamp:

2015-06-05T11:58:31-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/grobner.lisp (modified) (3 diffs)

branches/f4grobner/grobner.lisp

@@ -30 +30 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(defmvar $poly_monomial_order '$lex
+(defvar $poly_monomial_order '$lex
   "This switch controls which monomial order is used in polynomial
 and Grobner basis calculations. If not set, LEX will be used")
 
-(defmvar $poly_coefficient_ring '$expression_ring
+(defvar $poly_coefficient_ring '$expression_ring
   "This switch indicates the coefficient ring of the polynomials
 that will be used in grobner calculations. If not set, Maxima's
@@ -40 +40 @@
 to RING_OF_INTEGERS if desired.")
 
-(defmvar $poly_primary_elimination_order nil
+(defvar $poly_primary_elimination_order nil
   "Name of the default order for eliminated variables in elimination-based functions.
 If not set, LEX will be used.")
 
-(defmvar $poly_secondary_elimination_order nil
+(defvar $poly_secondary_elimination_order nil
   "Name of the default order for kept variables in elimination-based functions.
 If not set, LEX will be used.")
 
-(defmvar $poly_elimination_order nil
+(defvar $poly_elimination_order nil
   "Name of the default elimination order used in elimination calculations.
 If set, it overrides the settings in variables POLY_PRIMARY_ELIMINATION_ORDER
@@ -54 +54 @@
 elimination order valid for the number of eliminated variables.")
 
-(defmvar $poly_return_term_list nil
+(defvar $poly_return_term_list nil
   "If set to T, all functions in this package will return each polynomial as a
 list of terms in the current monomial order rather than a Maxima general expression.")
 
-(defmvar $poly_grobner_debug nil
+(defvar $poly_grobner_debug nil
   "If set to TRUE, produce debugging and tracing output.")
 
-(defmvar $poly_grobner_algorithm '$buchberger
+(defvar $poly_grobner_algorithm '$buchberger
   "The name of the algorithm used to find grobner bases.")
 
-(defmvar $poly_top_reduction_only nil
+(defvar $poly_top_reduction_only nil
   "If not FALSE, use top reduction only whenever possible.
 Top reduction means that division algorithm stops after the first reduction.")