← Back to branch summary

~ubuntu-branches/debian/squeeze/maxima/squeeze

« back to all changes in this revision

Viewing changes to share/simplification/ineq.mac

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-10-18 14:52:42 UTC
  • mto: (1.1.5 upstream)
  • mto: This revision was merged to the branch mainline in revision 4.
  • Revision ID: james.westby@ubuntu.com-20061018145242-vzyrm5hmxr8kiosf
Import upstream version 5.10.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
share/simplification/ineq.mac
1
1
/* coded by LPH prior to MAY 12, 1983 */
2
2
/* re-coded for DOE MACSYMA */
 
3
 
 
4
/* I made some changes so that ineq loads without       */
 
5
/* asking for the sign of d. Mario Rodriguez, 30-4-2006 */
 
6
 
 
7
/*
3
8
eval_when([translate,batch,demo,load,loadfile],
4
9
transcompile:true,
5
10
matchdeclare([a,b],true,c,negp,d,posp),
6
11
matchdeclare([e,f,g,h],freeof("<=",">=","<",">","=")));
7
 
negp(u):=(mode_declare(u,any,function(negp),boolean),
8
 
if asksign(u)='neg then true);
9
 
posp(u):=(mode_declare(u,any,function(posp),boolean),
10
 
if asksign(u)='pos then true);
 
12
*/
 
13
 
 
14
 
 
15
transcompile:true$
 
16
matchdeclare([a,b],true,c,negp,d,posp)$
 
17
matchdeclare([e,f,g,h],freeof("<=",">=","<",">","="))$
 
18
 
 
19
negp(u):=
 
20
   (mode_declare(u,any,function(negp),boolean),
 
21
    if asksign(u)='neg then true);
 
22
posp(u):=
 
23
   (mode_declare(u,any,function(posp),boolean),
 
24
    if asksign(u)='pos then true);
11
25
define_variable(?matchreverse,true,boolean);
12
26
 
 
27
 
 
28
/*
13
29
eval_when(translate,simp:false,transcompile:true);
 
30
*/
 
31
 
 
32
simp:false$
14
33
tellsimpafter((a<b)*c,a*c>b*c);
15
34
tellsimpafter((a>b)*c,a*c<b*c);
16
35
tellsimpafter(("<="(a,b))*c,">="(a*c,b*c));
39
58
tellsimpafter((e>f)+(g>h),e+g>f+h);
40
59
tellsimpafter((e>f)+(">="(g,h)),e+g>f+h);
41
60
tellsimpafter((">="(e,f))+(">="(g,h)),">="(e+g,f+h));
42
 
 
43
 
 
44
 
eval_when(translate,simp:true);
 
61
simp:true$
 
62
 
 
63
/*
 
64
eval_when(translate,simp:true); 
 
65
*/