Changeset e981f9 in git

Timestamp:

Feb 16, 1999, 5:14:06 PM (25 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

2c80594bf850497fedd5b844c02ad2010df889f2

Parents:

57d92ac27ce49fa0a40301712835f667b1f0788a

Message:

	* feval.m4 (main): long usage added


git-svn-id: file:///usr/local/Singular/svn/trunk@2843 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/ftest/feval.m4 (modified) (3 diffs)

factory/ftest/feval.m4

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: feval.m4,v 1.7 1998-07-03 10:20:46 schmidt Exp $ */
+/* $Id: feval.m4,v 1.8 1999-02-16 16:14:06 schmidt Exp $ */
 
 ftestSetNameOfGame( feval, `"
@@ -12 +12 @@
   arguments (except options), neither time nor status nor result
   nor data information is printed.
+
+  The `-a' and `-c' options are ignored by `feval'.
 
   If the optional argument `expand' is given, <f> is printed
@@ -53 +55 @@
     if ( argc == 2 && strcmp( "-?", argv[1] ) == 0 ) {
         ftestUsagePrint( "
-Long usage not yet written, sorry.
+
+              Options common to all test programs
+               of the Factory Test Environment:
+               --------------------------------
+
+
+Some examples first:
+
+feval /13/xy <f>
+
+  Evaluates <f> in the finite field with 13 elements and
+  with x < y.  Prints result of evaluation.
+
+feval -oa /x,y,i=x^2+1/+SW_RATIONAL <f>
+
+  Evaluates <f> in the field Q[i], where the algebraic element
+  i has the minimal polynomial x^2+1.  DO NOT FORGET TO SET
+  `SW_RATIONAL' WHEN CALCULATING WITH ALGEBRAIC ELEMENTS OF
+  CHARACTERISTIC 0.  Variable ordering is as above.
+  Prints result and the complete environment.
+
+feval /13^2,Z/x,y,a=x^2+Z^3 <f>
+
+  Evaluate <f> over the field GF(13^2)[a], where GF(13^2) is
+  generated by a primitive element Z and a has the minimal
+  polynomial x^2+Z^3.  DO NOT FORGET TO SPECIFY THE
+  CHARACTERISTIC BEFORE YOU SPECIFY ANY MINIMAL POLYNOMIAL.
+  Variable ordering is as above.
+
+
+Now for the detailed options:
+
+  <options>:
+            -a <time>:  sets maximal running time (in seconds)
+            -c <times>: sets number of runs
+            -o <outputOptions>: specifies what information to
+              print
+
+            An option `--' may be used to terminate parsing
+            of the options.  This is especially useful if the
+            some of the arguments start with a negative number.
+
+  <outputOptions>:
+            a: everything
+            c: check                            r: result
+            e: computing environment            t: time
+
+            Without any output options, prints the result only.
+
+  <envSpec>:
+            /<charSpec><envSpec>
+            /<varSpec><envSpec>
+            /<switchSpec><envSpec>
+            /<randomSpec><envSpec>
+
+            Sets the computing environment, e.g., the variable
+            ordering, the characteristic, etc.
+
+  <charSpec>:
+            <n>
+               where <n> is either zero or a prime number
+            <p>^<d>[,<Z>]
+               where <p> is a prime number and <d> an integer
+               greater or equal 2.  The optional <Z> should be
+               a single character.
+
+            Sets the characteristic to <charSpec>.  With <n> = 0
+            calculations are done in characteristic zero.  With
+            <n> being a prime number, calculations are done over
+            the finite field with <n> elements.  With <p>^<d>
+            calculations are done over the finite Galois field
+            with <p>^<d> elements.  The optional character <Z>
+            specifies the symbol to print for the generator of
+            that field.
+
+  <varSpec>:
+            <varName[=<minPoly>]>[,]<varSpec>
+               where <varName> is a single character and the
+               optional <minPoly> is an irreducible polynomial
+               over the current domain.  The `,' between
+               variables may be omitted if there is no
+               minimal polynomial specified.
+
+            Defines variable ordering and algebraic elements.
+            Variables occurring later in the list get higher
+            level.  If <minPoly> is specified, the corresponding
+            variable is defined to be an algebraic variable with
+            minimal polynomial <minPoly>.
+
+  <switchSpec>:
+            [+|-]<switchName>
+               where <switchName> is one of the switches
+               specified in `cf_defs.h'.
+
+            Turns switch <switchName> on resp off.  The most
+            useful switches are:
+            SW_RATIONAL: to calculate over the rational
+              numbers instead of the rational integers;
+            SW_SYMMETRIC_FF: to use symmetric
+              representation of finite fields;
+            SW_USE_EZGCD: to use EZ-GCD to compute the
+              gcd of multivariate polynomials over the
+              integers.
+
+  <randomSpec>:
+            @<n>
+               where <n> is an integer
+
+            Sets random generator seed to <n>.
 " );
         exit( 0 );