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 99 for branches


Ignore:
Timestamp:
2015-06-05T11:59:10-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/mx-grobner.lisp

    r98 r99  
    3232;;FUNCTS is loaded because it contains the definition of LCM
    3333($load "functs")
    34 
    35 
    36 
    37 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    38 ;;
    39 ;; Global switches
    40 ;; (Can be used in Maxima just fine)
    41 ;;
    42 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    43 
    44 (defmvar $poly_monomial_order '$lex
    45   "This switch controls which monomial order is used in polynomial
    46 and Grobner basis calculations. If not set, LEX will be used")
    47 
    48 (defmvar $poly_coefficient_ring '$expression_ring
    49   "This switch indicates the coefficient ring of the polynomials
    50 that will be used in grobner calculations. If not set, Maxima's
    51 general expression ring will be used. This variable may be set
    52 to RING_OF_INTEGERS if desired.")
    53 
    54 (defmvar $poly_primary_elimination_order nil
    55   "Name of the default order for eliminated variables in elimination-based functions.
    56 If not set, LEX will be used.")
    57 
    58 (defmvar $poly_secondary_elimination_order nil
    59   "Name of the default order for kept variables in elimination-based functions.
    60 If not set, LEX will be used.")
    61 
    62 (defmvar $poly_elimination_order nil
    63   "Name of the default elimination order used in elimination calculations.
    64 If set, it overrides the settings in variables POLY_PRIMARY_ELIMINATION_ORDER
    65 and SECONDARY_ELIMINATION_ORDER. The user must ensure that this is a true
    66 elimination order valid for the number of eliminated variables.")
    67 
    68 (defmvar $poly_return_term_list nil
    69   "If set to T, all functions in this package will return each polynomial as a
    70 list of terms in the current monomial order rather than a Maxima general expression.")
    71 
    72 (defmvar $poly_grobner_debug nil
    73   "If set to TRUE, produce debugging and tracing output.")
    74 
    75 (defmvar $poly_grobner_algorithm '$buchberger
    76   "The name of the algorithm used to find grobner bases.")
    77 
    78 (defmvar $poly_top_reduction_only nil
    79   "If not FALSE, use top reduction only whenever possible.
    80 Top reduction means that division algorithm stops after the first reduction.")
    81 
    82 
    8334
    8435;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note: See TracChangeset for help on using the changeset viewer.