Changeset 99 for branches/f4grobner

Timestamp:

2015-06-05T11:59:10-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -32 +32 @@
 ;;FUNCTS is loaded because it contains the definition of LCM
 ($load "functs")
-
-
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Global switches
-;; (Can be used in Maxima just fine)
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(defmvar $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
-  "This switch indicates the coefficient ring of the polynomials
-that will be used in grobner calculations. If not set, Maxima's
-general expression ring will be used. This variable may be set
-to RING_OF_INTEGERS if desired.")
-
-(defmvar $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
-  "Name of the default order for kept variables in elimination-based functions.
-If not set, LEX will be used.")
-
-(defmvar $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
-and SECONDARY_ELIMINATION_ORDER. The user must ensure that this is a true
-elimination order valid for the number of eliminated variables.")
-
-(defmvar $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
-  "If set to TRUE, produce debugging and tracing output.")
-
-(defmvar $poly_grobner_algorithm '$buchberger
-  "The name of the algorithm used to find grobner bases.")
-
-(defmvar $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.")
-
-
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;