Home
last modified time | relevance | path

Searched +refs:equal +refs:facts +refs:simp (Results 1 – 25 of 46) sorted by relevance

12

/dports/math/maxima/maxima-5.43.2/share/affine/
H A Daquotient.lisp563 (iassert (equal f (ptimes d qf))) (iassert (equal g (ptimes d qg)))))
616 when (equal wi videriv)
838 (cond ((numberp sum) '((mlist simp) 0 0))
845 when (equal u v)
852 when (not (equal vv u))
855 when (not (equal vv u))
1430 (setq facts (delete v facts :test #'equal))))
1485 (setq v (car facts) ) (setq w (second facts))
1647 (iassert (equal pol (apply 'exponent-product facts)))
1648 facts)
[all …]
H A Dsheafa.lisp347 finally (return (cons '($matrix simp) matrix))))
358 finally (return (cons '($matrix simp) matrix))))
671 when (member v u :test #'equal)
1417 (member wi redundant :test #'equal)
1459 when (equal (from-case a-list) tem)
1789 when (not (equal uu v))
1882 (let ((facts (psqfr p)))
1883 (if (cddr facts)
1884 (loop for v in (cddr facts) by #'cddr
1885 with answer = (car facts) do
[all …]
/dports/math/maxima/maxima-5.43.2/src/
H A Dcompar.lisp144 (do ((facts (cdr ($facts $context)) (cdr facts))
146 ((null facts) (return (cons '(mlist) (reverse ans))))
147 (when (or (among expr (cadar facts))
148 (among expr (caddar facts)))
149 (push (car facts) ans)))))
334 `((,(caar x) simp) ,a))))
378 (t (cons '(mand simp) (reverse simplified)))))
392 (t (cons '(mor simp) (reverse simplified)))))
410 (t `((mnot simp) ,arg)))
439 (t `((mnot simp) ,arg)))))))
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/alg/
H A Dsimp.red92 u:= simp u;
226 symbolic procedure simp u;
377 simp car u;
420 simpexpon1(u,'simp!*);
501 x := simp u;
1023 %least integer greater or equal to M/N);
1122 then return if y then negsq simp z else simp z;
1134 then return if y then negsq simp z else simp z>>;
1297 u := simp!* u;
1304 % should simplify to just sqrt(2). The facts that abs(i) -> 1 and
[all …]
/dports/math/maxima/maxima-5.43.2/tests/
H A Drtestsum.mac124 (apply (forget, facts ()), assume (i >= a), sum (i, i, a, b), facts ());
133 (apply (forget, facts ()), 0);
187 is(equal(block([gcd:subres], ratsimp((-x^3+1)/(2*x^5+2) + (-sqrt(5)+5)/(20*x^2+(-10*sqrt(5)-10)*x+2…
330 (new_facts: facts(), is (sort (old_facts) = sort (new_facts)));
455 (new_facts: facts(), is (sort (old_facts) = sort (new_facts)));
547 (old_facts : facts(),0);
556 (old_facts : facts(),0);
723 (assume_pos: assume_pos_save, apply (forget, facts ()), 0);
840 (kill(f), block ([x : product (sum (f(i), i, 1, inf), j, 1, inf)], block ([simp : false], is (x = '…
1055 foo : sum (if equal (xx, 1) then aa else bb, xx, 1, nn);
[all …]
H A Drtest16.mac960 assume(equal(x,n), equal(y,j), equal(z,i));
961 [equal(x, n), equal(y, j), equal(z,i)];
977 forget(equal(x,n), equal(y,j), equal(z,i));
978 [equal(x, n), equal(y, j), equal(z, i)];
1072 /* Bug ID:856209 - inconsistency between facts() and facts(v)
1073 * Show that facts(expr) now works more general.
1077 facts(a);
1079 facts(b);
1081 facts(z);
1083 facts(a+z);
[all …]
H A Drtest15.mac398 is(equal(eigenvalues(matrix([2,0,-1,0,0,0,-1,0,0,0,0,0,0],[0,2,0,-1,-1,0,0,0,0,0,0,0,0],
409 is(equal(eigenvectors(matrix([2,0,-1,0,0,0,-1,0,0,0,0,0,0],[0,2,0,-1,-1,0,0,0,0,0,0,0,0],
676 * because of a change in simp.lisp revision 14.11.2011.
891 apply (forget, facts ()),
892 assume (equal (a, 0)),
894 forget (equal (a, 0)),
/dports/math/maxima/maxima-5.43.2/doc/info/de.utf8/
H A Dmaxima.info-21149 (%i2) simp:false;
1843 -- Optionsvariable: simp
1876 (%i4) simp:true;
5289 (%i3) facts();
5347 (%i3) facts ();
5652 -- Funktion: facts (<item>)
5653 -- Funktion: facts ()
5673 (%i3) facts();
5675 (%i4) facts(a);
5677 (%i5) facts(x);
[all …]
H A Dmaxima.info352 Ref: simp377129
502 Ref: facts531846
514 Ref: equal540434
H A Dmaxima.info-6743 or equal to relational infix
746 equality (value) equal relational function
747 negation of equal notequal relational function
749 or equal to relational infix
1107 sollte der Schalter 'simp' nicht den Wert 'false' haben, wodurch
2210 Appended the facts f_1, f_2, ..., f_n to the current context and
2211 simplify e. The facts are removed before returning the simplified
2218 The facts in the current context aren't ignored:
4538 Four non numeric samples of equal size.
5590 with s>0, which is always equal to 0. To make use of this
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/de/
H A Dmaxima.info-21149 (%i2) simp:false;
1843 -- Optionsvariable: simp
1876 (%i4) simp:true;
5289 (%i3) facts();
5347 (%i3) facts ();
5652 -- Funktion: facts (<item>)
5653 -- Funktion: facts ()
5673 (%i3) facts();
5675 (%i4) facts(a);
5677 (%i5) facts(x);
[all …]
H A Dmaxima.info352 Ref: simp377129
502 Ref: facts531846
514 Ref: equal540434
H A Dmaxima.info-6743 or equal to relational infix
746 equality (value) equal relational function
747 negation of equal notequal relational function
749 or equal to relational infix
1107 sollte der Schalter 'simp' nicht den Wert 'false' haben, wodurch
2210 Appended the facts f_1, f_2, ..., f_n to the current context and
2211 simplify e. The facts are removed before returning the simplified
2218 The facts in the current context aren't ignored:
4538 Four non numeric samples of equal size.
5590 with s>0, which is always equal to 0. To make use of this
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/
H A DSimplification.texi115 by @code{simp:true}.)
134 In addition to these directly related properties set up by the user, facts and
659 @code{expop} is greater than or equal to 3. If it is desired to have
876 @code{expop} is greater than or equal to 3. If it is desired to have
1534 @anchor{simp}
1557 @c simp:false;
1559 @c sin(1.0),simp;
1563 (%i1) simp:false;
1571 (%i3) sin(1.0),simp;
1582 @c simp:true;
[all …]
H A Dmaxima.info-16693 (%i3) simp : true;
8127 (%i6) 1 + 1, simp;
8129 (%i7) simp : true;
9161 -- Option variable: simp
9164 'simp' enables simplification. This is the default. 'simp' is
9184 (%i1) simp:false;
9197 (%i1) simp:true;
11540 information. The facts in these contexts are not listed by 'facts
11797 -- Function: facts
11798 facts (<item>)
[all …]
H A Dmaxima.info352 Ref: simp351080
499 Ref: facts448143
510 Ref: equal455572
H A Dmaxima.info-3896 equal to 1, and largest component has imaginary part equal to zero.
6291 equal.
6365 is equal to or greater than 200.
7594 equal to the encoding provided by the application.
8274 decoded string will be equal to the original.
8814 equal:
8816 (%i8) is(equal(%o6,%o7));
8860 expressions that are assumed to equal zero.
10641 which have certificate equal to zero, or all coefficients equal to
12403 * facts: Functions and Variables for Facts.
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/groebner/
H A Dbuchbg.red776 symbolic procedure groebreducefromfactors(g,facts);
777 % Reduce the polynomials in G from those in facts.
781 for each x in facts do vdpprin2t x>>;
784 new:= groebnormalform(f,facts,'list);
868 {{'equal,'candidate,
870 {'equal,'candidate,
877 {{'equal,'candidate,
888 {{'equal,'candidate,{'times,'candidate,a}}});
894 groebprotfile:=append(groebprotfile,{{'equal,a,b}});
898 append(groebprotfile,{{'equal,'intermediateresult,a}});
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/es.utf8/
H A Dmaxima.info-236 asignado a la variable opcional 'simp'.
47 (%i2) simp:false;
715 -- Variable opcional: simp
734 (%i1) simp:false;
738 (%i3) sin(1.0),simp;
748 (%i4) simp:true;
750 (%i5) x:sin(1.0),simp:false;
2851 'facts ()'.
2927 (%i3) facts ();
3114 -- Función: facts (<item>)
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/es/
H A Dmaxima.info-236 asignado a la variable opcional 'simp'.
47 (%i2) simp:false;
715 -- Variable opcional: simp
734 (%i1) simp:false;
738 (%i3) sin(1.0),simp;
748 (%i4) simp:true;
750 (%i5) x:sin(1.0),simp:false;
2851 'facts ()'.
2927 (%i3) facts ();
3114 -- Funci�n: facts (<item>)
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/pt/
H A Dmaxima.info-11308 * 'simp' faz com que <expr> seja simplificado
1309 independentemente da posi��o do comutador 'simp' que
1480 'ratsimpexpons', 'simp', 'simpsum', 'sumexpand', e 'trigexpand'.
1492 (%i4) simp : false;
1496 (%i6) 1 + 1, simp;
1498 (%i7) simp : true;
2065 (%i1) simp : false;
2071 (%i3) simp : true;
2922 Veja tamb�m 'assume', 'facts', e 'maybe'.
2973 Veja tamb�m 'assume', 'facts', e 'is'.
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/pt.utf8/
H A Dmaxima.info-11308 * 'simp' faz com que <expr> seja simplificado
1309 independentemente da posição do comutador 'simp' que
1480 'ratsimpexpons', 'simp', 'simpsum', 'sumexpand', e 'trigexpand'.
1492 (%i4) simp : false;
1496 (%i6) 1 + 1, simp;
1498 (%i7) simp : true;
2065 (%i1) simp : false;
2071 (%i3) simp : true;
2922 Veja também 'assume', 'facts', e 'maybe'.
2973 Veja também 'assume', 'facts', e 'is'.
[all …]
/dports/www/nextcloud/nextcloud/apps-pkg/text/js/highlight/
H A Dmaxima.js.map1 …equal equalp' +\n ' equiv_classes erf erfc erf_generalized erfi errcatch error errormsg errors'…
/dports/math/maxima/maxima-5.43.2/doc/info/pt_BR/
H A Dmaxima.info-11401 * 'simp' faz com que <expr> seja simplificado
1402 independentemente da posi��o do comutador 'simp' que
1573 'ratsimpexpons', 'simp', 'simpsum', 'sumexpand', e 'trigexpand'.
1585 (%i4) simp : false;
1589 (%i6) 1 + 1, simp;
1591 (%i7) simp : true;
2158 (%i1) simp : false;
2164 (%i3) simp : true;
2776 tenta avaliar 'equal' para um valor Booleano. 'is(equal(<a>,
2996 Veja tamb�m 'assume', 'facts', e 'maybe'.
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/pt_BR.utf8/
H A Dmaxima.info-11401 * 'simp' faz com que <expr> seja simplificado
1402 independentemente da posição do comutador 'simp' que
1573 'ratsimpexpons', 'simp', 'simpsum', 'sumexpand', e 'trigexpand'.
1585 (%i4) simp : false;
1589 (%i6) 1 + 1, simp;
1591 (%i7) simp : true;
2158 (%i1) simp : false;
2164 (%i3) simp : true;
2776 tenta avaliar 'equal' para um valor Booleano. 'is(equal(<a>,
2996 Veja também 'assume', 'facts', e 'maybe'.
[all …]

12