Changeset 1887 for branches/f4grobner/mx-grobner.lisp

Timestamp:

2015-06-15T17:02:59-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/mx-grobner.lisp

@@ -56 +56 @@
 
 (use-package :ngrobner)
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; 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.")