/dports/math/reduce/Reduce-svn5758-src/doc/manual/ |
H A D | limits.tex | 17 \f{LIMIT(}\meta{EXPRN:algebraic},\,\meta{VAR:kernel},\,% 18 \meta{LIMPOINT:algebraic})\,:\,\textit{algebraic} 31 \texttt{LIMIT!+(}\meta{EXPRN:algebraic},\,\meta{VAR:kernel},\,% 32 \meta{LIMPOINT:algebraic}\texttt{)}\,:\,\textit{algebraic} \\ 34 \meta{LIMPOINT:algebraic}\texttt{)}\,:\,\textit{algebraic} 54 LIMPOINT:{\em algebraic}):{\em algebraic} 56 LIMPOINT:{\em algebraic}):{\em algebraic} 66 LIMPOINT:{\em algebraic}):{\em algebraic} 77 \texttt{LIMIT2(} & TOP:{\em algebraic}, \\ 78 &BOT:{\em algebraic}, \\ [all …]
|
H A D | arnum.tex | 6 some ground domain. \index{i} The algebraic number $i$ (imaginary 8 polynomial $i^2 + 1$. The arithmetic of algebraic number $s$ can be 11 Given a defining polynomial for an algebraic number $a$ 22 \ttindextype{+}{operator!algebraic numbers} 30 \ttindextype{*}{operator!algebraic numbers} 31 Multiplication of two algebraic numbers can be performed by normal 43 \ttindextype{/}{operator!algebraic numbers} 44 Division of two algebraic numbers r and s yields another algebraic number q. 68 \s{algebraic number} ::= \\ 91 algebraic number sqrt(2), for example, can be introduced by [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/geometry/ |
H A D | geoprover.red | 54 algebraic procedure add_ndg(d); 64 %algebraic procedure Normal(a); a; 72 algebraic procedure pp_line(a,b); 88 algebraic procedure ortho_line(p,a); 94 algebraic procedure par_line(p,a); 99 algebraic procedure varpoint(b,a,l); 127 algebraic procedure sqrdist(a,b); 153 algebraic procedure on_line(p,a); 168 algebraic procedure l2_angle(a,b); 175 algebraic procedure angle_sum(a,b); [all …]
|
H A D | old-geometry.red | 106 algebraic procedure add_ndg(d); 118 algebraic procedure pp_line(a,b); 134 algebraic procedure lot(p,a); 140 algebraic procedure par(p,a); 149 algebraic procedure midpoint(a,b); 170 algebraic procedure sqrdist(a,b); 188 algebraic procedure parallel(a,b); 202 algebraic procedure mp(b,c); 210 algebraic procedure median(a,b,c); 223 algebraic procedure l2_angle(a,b); [all …]
|
H A D | supp.red | 33 algebraic procedure geo_simplify u; u; 34 algebraic procedure geo_normal u; u; 35 algebraic procedure geo_subs(a,b,c); sub(a=b,c); 37 algebraic procedure geo_gbasis(polys,vars); 44 algebraic procedure geo_groebfactor(polys,vars,nondeg); 50 algebraic procedure geo_normalf(p,polys,vars); 56 algebraic procedure geo_eliminate(polys,vars,elivars); 62 algebraic procedure geo_solve(polys,vars); 65 algebraic procedure geo_solveconstrained(polys,vars,nondegs); 72 algebraic procedure geo_eval(con,sol);
|
/dports/games/py-pychess/pychess-1.0.2/learn/puzzles/ |
H A D | troicki.olv | 6 algebraic: 16 algebraic: 28 algebraic: 49 algebraic: 70 algebraic: 143 algebraic: 153 algebraic: 174 algebraic: 191 algebraic: 208 algebraic: [all …]
|
H A D | lasker.olv | 6 algebraic: 40 algebraic: 184 algebraic: 239 algebraic: 289 algebraic: 318 algebraic: 355 algebraic: 400 algebraic: 419 algebraic: 452 algebraic: [all …]
|
H A D | kubbel.olv | 7 algebraic: 31 algebraic: 81 algebraic: 94 algebraic: 110 algebraic: 133 algebraic: 165 algebraic: 176 algebraic: 195 algebraic: 207 algebraic: [all …]
|
H A D | reti.olv | 7 algebraic: 96 algebraic: 148 algebraic: 220 algebraic: 256 algebraic: 270 algebraic: 287 algebraic: 308 algebraic: 325 algebraic: 346 algebraic: [all …]
|
H A D | dawson.olv | 6 algebraic: 18 algebraic: 31 algebraic: 61 algebraic: 84 algebraic: 107 algebraic: 142 algebraic: 187 algebraic: 208 algebraic: 233 algebraic: [all …]
|
H A D | bron.olv | 6 algebraic: 55 algebraic: 91 algebraic: 123 algebraic: 150 algebraic: 216 algebraic: 272 algebraic: 283 algebraic: 357 algebraic: 368 algebraic: [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/algebraic-graphs-0.5/ |
H A D | algebraic-graphs.cabal | 2 name: algebraic-graphs 4 synopsis: A library for algebraic graph construction and transformation 21 <https://github.com/snowleopard/alga Alga> is a library for algebraic construction and 26 <http://hackage.haskell.org/package/algebraic-graphs/docs/Algebra-Graph.html Algebra.Graph> 27 defines the main data type for /algebraic graphs/ 28 <http://hackage.haskell.org/package/algebraic-graphs/docs/Algebra-Graph.html#t:Graph Graph>, 30 manipulation of /non-empty algebraic graphs/, see 32 Furthermore, /algebraic graphs with edge labels/ are implemented in 44 A large part of the API of algebraic graphs and adjacency maps is available 49 …<http://hackage.haskell.org/package/algebraic-graphs/docs/Algebra-Graph-Class.html Algebra.Graph.C… [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/arnum/ |
H A D | arnum.tex | 14 \index{algebraic number fields} 15 \index{algebraic numbers} 18 some ground domain. \index{i} The algebraic number $i$ (imaginary 20 polynomial $i^2 + 1$. The arithmetic of algebraic number $s$ can be 23 Given a defining polynomial for an algebraic number $a$ 34 \index{+ ! algebraic numbers} 42 \index{* ! algebraic numbers} 55 \index{/ ! algebraic numbers} 56 Division of two algebraic numbers r and s yields another algebraic number q. 81 \s{algebraic number} ::= \\ [all …]
|
/dports/science/mbdyn/mbdyn-1.7.3/modules/module-hid/ |
H A D | hid_test | 94 …genel: JOYSTICK_AILERONS, spring support, JOYSTICK_AILERONS, abstract, algebraic, linear elastic, … 95 …genel: JOYSTICK_ELEVATOR, spring support, JOYSTICK_ELEVATOR, abstract, algebraic, linear elastic, … 96 genel: JOYSTICK_RUDDER, spring support, JOYSTICK_RUDDER, abstract, algebraic, linear elastic, 1.; 97 …genel: JOYSTICK_THROTTLE, spring support, JOYSTICK_THROTTLE, abstract, algebraic, linear elastic, … 98 genel: TRIM_L, spring support, TRIM_L, abstract, algebraic, linear elastic, 1.; 99 genel: TRIM_F, spring support, TRIM_F, abstract, algebraic, linear elastic, 1.; 101 genel: JOYSTICK_TRIGGER, spring support, JOYSTICK_TRIGGER, abstract, algebraic, linear elastic, 1.; 102 …genel: JOYSTICK_BUTTON_2, spring support, JOYSTICK_BUTTON_2, abstract, algebraic, linear elastic, … 103 …genel: JOYSTICK_BUTTON_3, spring support, JOYSTICK_BUTTON_3, abstract, algebraic, linear elastic, … 104 …genel: JOYSTICK_BUTTON_4, spring support, JOYSTICK_BUTTON_4, abstract, algebraic, linear elastic, … [all …]
|
/dports/science/mbdyn/mbdyn-1.7.3/modules/module-octave/demo/ |
H A D | octave_drive_caller.mbdyn | 91 abstract: 1, algebraic; 92 abstract: 2, algebraic; 93 abstract: 3, algebraic; 94 abstract: 4, algebraic; 95 abstract: 5, algebraic; 96 abstract: 6, algebraic; 97 abstract: 7, algebraic; 98 abstract: 8, algebraic; 99 abstract: 9, algebraic; 100 abstract: 10, algebraic; [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
H A D | algebraic_params.pyg | 1 def_module_params('algebraic', 2 … description='real algebraic number package. Non-default parameter settings are not supported', 4 …ions in the real algebraic number module is determining the sign of a polynomial evaluated at a sa… 5 …('min_mag', UINT, 16, 'Z3 represents algebraic numbers using a (square-free) polynomial p and an i… 6 …BOOL, True, 'use polynomial factorization to simplify polynomials representing algebraic numbers'), 7 … UINT, 31, 'parameter for the polynomial factorization procedure in the algebraic number module. Z… 8 …, UINT, 1, 'parameter for the polynomial factorization procedure in the algebraic number module. Z… 9 …INT, 5000, 'parameter for the polynomial factorization procedure in the algebraic number module. Z…
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
H A D | algebraic_params.pyg | 1 def_module_params('algebraic', 2 … description='real algebraic number package. Non-default parameter settings are not supported', 4 …ions in the real algebraic number module is determining the sign of a polynomial evaluated at a sa… 5 …('min_mag', UINT, 16, 'Z3 represents algebraic numbers using a (square-free) polynomial p and an i… 6 …BOOL, True, 'use polynomial factorization to simplify polynomials representing algebraic numbers'), 7 … UINT, 31, 'parameter for the polynomial factorization procedure in the algebraic number module. Z… 8 …, UINT, 1, 'parameter for the polynomial factorization procedure in the algebraic number module. Z… 9 …INT, 5000, 'parameter for the polynomial factorization procedure in the algebraic number module. Z…
|
/dports/math/reduce/Reduce-svn5758-src/packages/regressions/ |
H A D | 2019-12-17-algebraic-procedure-as-operator.rlg | 1 Comment Do not allow to use the same identifier for an algebraic procedure and an operator, 5 algebraic procedure fn1(x); 11 algebraic operator fn1; 14 *** fn1 already defined as algebraic procedure 36 algebraic operator fn1;
|
H A D | 2019-12-17-algebraic-procedure-as-operator.tst | 1 Comment Do not allow to use the same identifier for an algebraic procedure and an operator, 4 algebraic procedure fn1(x); 6 algebraic operator fn1; 15 algebraic operator fn1; 26 algebraic procedure op1; 1;
|
H A D | 2011-10-21-t-nil.tst | 16 algebraic procedure nil(u); u; 50 algebraic procedure x1(t);t; 54 algebraic procedure x2(t); begin scalar nil; return (t+nil); end; 63 algebraic procedure y1(t); begin integer nil; return (t+nil); end; 69 algebraic procedure z1(t,u); begin t := t + u^2; return t; end; 79 algebraic procedure t(x); x; 87 algebraic procedure nil(x); x;
|
/dports/math/reduce/Reduce-svn5758-src/xmpl/ |
H A D | 2011-10-21-t-nil.tst | 16 algebraic procedure nil(u); u; 50 algebraic procedure x1(t);t; 54 algebraic procedure x2(t); begin scalar nil; return (t+nil); end; 63 algebraic procedure y1(t); begin integer nil; return (t+nil); end; 69 algebraic procedure z1(t,u); begin t := t + u^2; return t; end; 79 algebraic procedure t(x); x; 87 algebraic procedure nil(x); x;
|
/dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
H A D | applysym.red | 229 algebraic oldsol 452 algebraic(h2:=termxread()) 469 algebraic(h2:=termxread()) 494 reval algebraic v,"i." else 530 el3:=explode reval algebraic h; 686 % algebraic(write "ffi = ", 697 algebraic << 705 deprint(cdr reval algebraic h2); 719 algebraic(h2):=termxread() 742 write"take ",reval algebraic h, [all …]
|
/dports/math/reduce/Reduce-svn5758-src/doc/manual2/ |
H A D | limits.tex | 28 \noindent {\tt LIMIT}(EXPRN:{\em algebraic}, VAR:{\em kernel}, 29 LIMPOINT:{\em algebraic}):{\em algebraic} 40 \noindent {\tt LIMIT!+}(EXPRN:{\em algebraic}, VAR:{\em kernel}, 41 LIMPOINT:{\em algebraic}):{\em algebraic} \\ 42 \noindent {\tt LIMIT!-}(EXPRN:{\em algebraic}, VAR:{\em kernel}, 43 LIMPOINT:{\em algebraic}):{\em algebraic}
|
/dports/math/reduce/Reduce-svn5758-src/packages/groebner/ |
H A D | ideals.red | 58 algebraic operator i; 92 algebraic operator id!-equal; 107 algebraic operator member; 109 algebraic <<let ~a member ~b => gb!-member(a,b) when idealp b>>; 119 algebraic operator subset; 132 algebraic operator .+; 142 algebraic operator .*; 165 algebraic operator intersection; 167 algebraic <<let intersection (~a , ~b) => gb!-intersect(a,b) 171 algebraic operator id!-quotient; [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/trigsimp/ |
H A D | trigsmp2.red | 120 %% algebraic let trig_normalize!*; 128 %% f := algebraic f; 142 algebraic(begin scalar u; 260 term := algebraic 388 algebraic procedure trig2ord(p,x,y); 395 algebraic procedure ord2trig(p,x,y); 405 algebraic procedure subpoly2hyp(p,x); 412 algebraic procedure varget(p); 438 p := algebraic sub( 444 algebraic sub( [all …]
|