File: ineq.dmo

package info (click to toggle)
maxima 5.6-17
  • links: PTS
  • area: main
  • in suites: woody
  • size: 30,572 kB
  • ctags: 47,715
  • sloc: ansic: 154,079; lisp: 147,553; asm: 45,843; tcl: 16,744; sh: 11,057; makefile: 7,198; perl: 1,842; sed: 334; fortran: 24; awk: 5
file content (34 lines) | stat: -rw-r--r-- 870 bytes parent folder | download | duplicates (14)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
/* load the file with the rules */
load('ineq);
/* a sample inequality */
a>=4;
/* add a second, strict inequality, and note that the result is strict */
(b>c)+%;
/* multiply an inequality by a positive number */
7*(x<y);
/* multiply an inequality by a negative number, and note change of > to < */
-2*(x>=3*z);
/* MACSYMA knows that 1+a^2 is a positive number */
(1+a^2)*(1/(1+a^2)<=1);
/* you can tell it p or n, though with z it errs on the conservative side and
   does not simply return 0... */
x*(2<3);
/* another inequality */
a>=b;
/* add something */
3+%;
/* subtract it out */
%-3;
/* yet another inequality */
a>=c-b;
/* add b to both sides */
b+%;
/* subtract c from both sides */
%-c;
/* multiply by -1 */
-%;
/* use inequality manipulation to determine truth of assertion */
(z-1)^2>-2*z;
/* expand this and add 2*z to both sides */
expand(%)+2*z;
%,pred;