Changeset 1886 for branches/f4grobner

Timestamp:

2015-06-15T17:02:50-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/ngrobner.lisp

@@ -24 +24 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-;; Global switches
-;;
-;; Can be used in Maxima just fine, as they observe the
-;; Maxima naming convention, i.e. all names visible at the
-;; Maxima toplevel begin with a '$'.
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(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")
-
-(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
-general expression ring will be used. This variable may be set
-to RING_OF_INTEGERS if desired.")
-
-(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.")
-
-(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.")
-
-(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
-and SECONDARY_ELIMINATION_ORDER. The user must ensure that this is a true
-elimination order valid for the number of eliminated variables.")
-
-(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.")
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
 ;; Conversion from internal to infix form
 ;;