| /dports/math/scilab/scilab-6.1.1/scilab/modules/overloading/macros/ |
| H A D | %r_m_r.sci | 1 // Scilab ( http://www.scilab.org/ ) - This file is part of Scilab
6 // This file is hereby licensed under the terms of the GNU GPL v2.0,
48 [num,den] = simp(n1.*n2(:),d1.*d2(:))
52 [num, den] = simp(n1(:).*n2,d1(:).*d2)
80 [num,den] = simp(num,den),
|
| /dports/math/reduce/Reduce-svn5758-src/packages/spde/ |
| H A D | spde.red | 214 %U is s.f., returns T if lnc U is negative;
215 minusf numr simp reval u$
247 %U is kernel with CAR part DF, V is kernel;
269 return numr simp prepf u;
408 symbolic procedure ldf!-simp u$
413 v:=numr simp prepf u;
424 ldf!-simp numr simp prepf x;
441 %U is l.d.t., returns variables w.r.t. which tvar u is derived or nil;
450 %U is l.d.t., returns U if LDT-tvar u is not on czero;
569 z:=(ldf!-simp numr simp prepf cdr x) . z;
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
| H A D | fixes2.red | 31 %% Redefinition of diffp is no longer needed
38 %% % u is a standard power, v a kernel.
57 %% else if car u eq 'plus and (w := diffsq(simp u,v))
62 %% a: w := diffsq(simp car z,v) . w;
114 %% w := if x := opmtch w then simp x else mksq(w,1);
129 %% w := quotsq(simp{'df,u,x},simp{'df,v,x});
180 %% then <<w := simp car x;
194 %% if numr(b:=simp{'df,a,v}) then <<
197 %% w := addsq(w, multsq(simp(z . y), b))
202 %% j: if (x := opmtch w) then w := simp x
[all …]
|
| H A D | crdiffelim.red | 81 % only after crack is loaded and that is needed to find the
83 % is stored.
277 if g then g := for each j in g collect simp j;
278 if ot then ot := for each j in ot collect simp j;
279 if n then n := for each j in n collect simp j;
280 if u then u := for each j in u collect simp j;
281 if b then b := for each j in b collect simp j;
291 then simp('df . caar u . cdr u)
292 else simp('df . u)
354 res := call_diffelim(for each j in cdr x collect simp j,
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/dvfsf/ |
| H A D | dvfsf.red | 197 % $l$ contains an error message; if $f$ is non-[nil], then $l$ is
217 lprim "p is being cleared";
220 lprim {"p is set to",n};
237 % Discretely valued field simp term. [u] is Lisp Prefix. Returns
239 numr simp u;
259 % Discretely valued field chain simp atomic formula. [u] is the
262 % which is the corresponding conjunction.
266 % Discretely valued field chain simp atomic formula subroutine. [u]
284 % Discretely valued field simp atomic formula. [u] is Lisp prefix.
288 lhs := simp cadr u;
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
| H A D | ofsfcadproj-redundant.red | 43 sf_rorders!*(for each f in fl collect numr simp f, cdr yl) collect
159 w := for each f in cdr fl collect numr simp f;
484 sf_stdeg numr simp f;
488 prepf sf_tdeg!*(numr simp f, cdr xl);
492 prepf sf_lc!*(numr simp f, x);
498 w := prepf sf_red(numr simp f, x);
507 w := prepf sf_discriminant(numr simp f, x);
516 w := prepf sfto_resf(numr simp f, numr simp g, x);
523 sf_nom numr simp f;
533 w := prepf sf_psc(numr simp f, numr simp g, x, j);
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/foreign/cuba/ |
| H A D | cuba_main.red | 2 % Module 'alg_intf' and this module are part 1. Part 2 is the file "redcuba.c", which is
50 % One bad thing here is that lto_sconcat is coded so it fails if some of
103 % 'par' is the parameter's name, a string; 'value' is a number/expression.
227 % What follows is tricky, and all of it is to handle the doubly-nested
250 % Now what is b1? First the effect of simp:
251 % simp 1.1 -> (11 . 10). simp 0 -> (nil . 1)!
252 % And when 'rounded' is on, simp 1.1 -> ((!:rd!: . 1.1) . 1).
256 % lb code b1 is the atom 12.
257 % (b) Handles the fact that the simp turns 0 into the standard quotient (nil . 1).
259 b1 := numr simp cadr b;
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/freeBSD64/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/freeBSD/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macintel/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/mingw-w64/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/AMD64/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macintel64/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/aarch64/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/linux/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| H A D | vfvect.sl.i++ | 15 % this file is needed compiletime only
18 % The basic difference is that VFOR looks into the body to be executed
52 % case 1: from is a number
60 ,(vfor-simp
74 % case 2: from is an arbitrary expression
81 ,(vfor-simp
104 (vfor-simp
193 (de vfor-simp (u)
202 (when (cdr u) (setq x (vfor-simp (cadr u)))
203 (when (cddr u) (setq y(vfor-simp (caddr u)))))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/win32/ |
| H A D | vfvect.sl | 36 % this file is needed compiletime only
39 % The basic difference is that VFOR looks into the body to be executed
70 % case 1: from is a number
78 ,(vfor-simp
92 ,(vfor-simp
101 % case 2: from is an arbitrary expression
108 ,(vfor-simp
121 ,(vfor-simp
184 (de vfor-simp (u)
193 (when (cdr u) (setq x (vfor-simp (cadr u)))
[all …]
|
| /dports/misc/otter/otter-3.3f/source/formed/ |
| H A D | README | 6 FormEd is a formula editor for first-order logic formulas. It's
8 primary documentation is on-line with the "Help" button.
10 It is described in ``FormEd: An X Window System Application for
12 That report is not available electronically, but I can send a hard
29 transformation. Try the buttons "CNF simp" and "DNF simp".
|
| /dports/math/reduce/Reduce-svn5758-src/packages/numeric/ |
| H A D | numfit.red | 52 basis := for each x in cdr basis collect simp reval x;
62 % when it is evaluated. If I use just the Lisp "gensym" function then the
63 % ordering is not well defined (at least with CSL). It is also certainly
68 <<v:=numfit_gensym(); pars:=v.pars; a:=addsq(multsq(simp v,b),a)>>;
71 b:=a:=simp prepsq a;
72 fcn:=simp if null fl then fcn else 'dummy; e:=nil./1;
80 <<lprim "error function is:";writepri(mkquote e,'only)>>;
|