Changeset e981f9 in git
 Timestamp:
 Feb 16, 1999, 5:14:06 PM (25 years ago)
 Branches:
 (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
 Children:
 2c80594bf850497fedd5b844c02ad2010df889f2
 Parents:
 57d92ac27ce49fa0a40301712835f667b1f0788a
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

factory/ftest/feval.m4
r57d92a re981f9 1 1 /* emacs edit mode for this file is * C++ * */ 2 /* $Id: feval.m4,v 1. 7 19980703 10:20:46 schmidt Exp $ */2 /* $Id: feval.m4,v 1.8 19990216 16:14:06 schmidt Exp $ */ 3 3 4 4 ftestSetNameOfGame( feval, `" … … 12 12 arguments (except options), neither time nor status nor result 13 13 nor data information is printed. 14 15 The `a' and `c' options are ignored by `feval'. 14 16 15 17 If the optional argument `expand' is given, <f> is printed … … 53 55 if ( argc == 2 && strcmp( "?", argv[1] ) == 0 ) { 54 56 ftestUsagePrint( " 55 Long usage not yet written, sorry. 57 58 Options common to all test programs 59 of the Factory Test Environment: 60  61 62 63 Some examples first: 64 65 feval /13/xy <f> 66 67 Evaluates <f> in the finite field with 13 elements and 68 with x < y. Prints result of evaluation. 69 70 feval oa /x,y,i=x^2+1/+SW_RATIONAL <f> 71 72 Evaluates <f> in the field Q[i], where the algebraic element 73 i has the minimal polynomial x^2+1. DO NOT FORGET TO SET 74 `SW_RATIONAL' WHEN CALCULATING WITH ALGEBRAIC ELEMENTS OF 75 CHARACTERISTIC 0. Variable ordering is as above. 76 Prints result and the complete environment. 77 78 feval /13^2,Z/x,y,a=x^2+Z^3 <f> 79 80 Evaluate <f> over the field GF(13^2)[a], where GF(13^2) is 81 generated by a primitive element Z and a has the minimal 82 polynomial x^2+Z^3. DO NOT FORGET TO SPECIFY THE 83 CHARACTERISTIC BEFORE YOU SPECIFY ANY MINIMAL POLYNOMIAL. 84 Variable ordering is as above. 85 86 87 Now for the detailed options: 88 89 <options>: 90 a <time>: sets maximal running time (in seconds) 91 c <times>: sets number of runs 92 o <outputOptions>: specifies what information to 93 print 94 95 An option `' may be used to terminate parsing 96 of the options. This is especially useful if the 97 some of the arguments start with a negative number. 98 99 <outputOptions>: 100 a: everything 101 c: check r: result 102 e: computing environment t: time 103 104 Without any output options, prints the result only. 105 106 <envSpec>: 107 /<charSpec><envSpec> 108 /<varSpec><envSpec> 109 /<switchSpec><envSpec> 110 /<randomSpec><envSpec> 111 112 Sets the computing environment, e.g., the variable 113 ordering, the characteristic, etc. 114 115 <charSpec>: 116 <n> 117 where <n> is either zero or a prime number 118 <p>^<d>[,<Z>] 119 where <p> is a prime number and <d> an integer 120 greater or equal 2. The optional <Z> should be 121 a single character. 122 123 Sets the characteristic to <charSpec>. With <n> = 0 124 calculations are done in characteristic zero. With 125 <n> being a prime number, calculations are done over 126 the finite field with <n> elements. With <p>^<d> 127 calculations are done over the finite Galois field 128 with <p>^<d> elements. The optional character <Z> 129 specifies the symbol to print for the generator of 130 that field. 131 132 <varSpec>: 133 <varName[=<minPoly>]>[,]<varSpec> 134 where <varName> is a single character and the 135 optional <minPoly> is an irreducible polynomial 136 over the current domain. The `,' between 137 variables may be omitted if there is no 138 minimal polynomial specified. 139 140 Defines variable ordering and algebraic elements. 141 Variables occurring later in the list get higher 142 level. If <minPoly> is specified, the corresponding 143 variable is defined to be an algebraic variable with 144 minimal polynomial <minPoly>. 145 146 <switchSpec>: 147 [+]<switchName> 148 where <switchName> is one of the switches 149 specified in `cf_defs.h'. 150 151 Turns switch <switchName> on resp off. The most 152 useful switches are: 153 SW_RATIONAL: to calculate over the rational 154 numbers instead of the rational integers; 155 SW_SYMMETRIC_FF: to use symmetric 156 representation of finite fields; 157 SW_USE_EZGCD: to use EZGCD to compute the 158 gcd of multivariate polynomials over the 159 integers. 160 161 <randomSpec>: 162 @<n> 163 where <n> is an integer 164 165 Sets random generator seed to <n>. 56 166 " ); 57 167 exit( 0 );
Note: See TracChangeset
for help on using the changeset viewer.