close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1886 for branches


Ignore:
Timestamp:
2015-06-15T17:02:50-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/ngrobner.lisp

    r1300 r1886  
    2424;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    2525;;
    26 ;; Global switches
    27 ;;
    28 ;; Can be used in Maxima just fine, as they observe the
    29 ;; Maxima naming convention, i.e. all names visible at the
    30 ;; Maxima toplevel begin with a '$'.
    31 ;;
    32 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    33 
    34 (defvar $poly_monomial_order '$lex
    35   "This switch controls which monomial order is used in polynomial
    36 and Grobner basis calculations. If not set, LEX will be used")
    37 
    38 (defvar $poly_coefficient_ring '$expression_ring
    39   "This switch indicates the coefficient ring of the polynomials
    40 that will be used in grobner calculations. If not set, Maxima's
    41 general expression ring will be used. This variable may be set
    42 to RING_OF_INTEGERS if desired.")
    43 
    44 (defvar $poly_primary_elimination_order nil
    45   "Name of the default order for eliminated variables in elimination-based functions.
    46 If not set, LEX will be used.")
    47 
    48 (defvar $poly_secondary_elimination_order nil
    49   "Name of the default order for kept variables in elimination-based functions.
    50 If not set, LEX will be used.")
    51 
    52 (defvar $poly_elimination_order nil
    53   "Name of the default elimination order used in elimination calculations.
    54 If set, it overrides the settings in variables POLY_PRIMARY_ELIMINATION_ORDER
    55 and SECONDARY_ELIMINATION_ORDER. The user must ensure that this is a true
    56 elimination order valid for the number of eliminated variables.")
    57 
    58 (defvar $poly_return_term_list nil
    59   "If set to T, all functions in this package will return each polynomial as a
    60 list of terms in the current monomial order rather than a Maxima general expression.")
    61 
    62 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    63 ;;
    6426;; Conversion from internal to infix form
    6527;;
Note: See TracChangeset for help on using the changeset viewer.