Subversion Repositories wimsdev

Rev

Rev 16120 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16120 Rev 16209
Line 2... Line 2...
2 
!set methtit=Multiplier une inégalité par une expression
 2 
!set methtit=Multiplier une inégalité par une expression
3 
!set methenv=ZZ QQ RR
 3 
!set methenv=ZZ QQ RR
4 
!set methparmtype=function,parm inequality >,choice,parm inequality >
 4 
!set methparmtype=function,parm inequality >,choice,parm inequality >
5 
!set methparmrelax=4
 5 
!set methparmrelax=4
6 
!set methhelp=Cette méthode transforme une inégalité du style \(A > B) en\
 6 
!set methhelp=Cette méthode transforme une inégalité du style \(A > B) en\
7 
 une inégalité \(A*f > B*f) (ou \(A*f < B*f)),\
 7 
  une inégalité \(A*f > B*f) (ou \(A*f < B*f)),\
8 
 où \(f) est une expression algébrique\
 8 
  où \(f) est une expression algébrique\
9 
 de signe constant. La méthode permet à \(f) de s'annuler. De ce fait, il\
 9 
  de signe constant. La méthode permet à \(f) de s'annuler. De ce fait, il\
10 
 n'y a pas forcément équivalence entre l'inégalité de départ et celle\
 10 
  n'y a pas forcément équivalence entre l'inégalité de départ et celle\
11 
 transformée&nbsp;; elle s'applique donc uniquement sur les hypothèses.
 11 
  transformée&nbsp;; elle s'applique donc uniquement sur les hypothèses.
12 
 
 12 
 
13 
!if $wims_read_parm iswordof form check
 13 
!if $wims_read_parm iswordof form check
14 
  !goto $wims_read_parm
 14 
  !goto $wims_read_parm
15 
!endif
 15 
!endif
16 
 
 16 
 
Line 68... Line 68...
68 
    error=Erreur de signe !
 68 
    error=Erreur de signe !
69 
    !exit
 69 
    !exit
70 
  !endif
 70 
  !endif
71 
!endif
 71 
!endif
72 
:OK
 72 
:OK
73 
 methexp=Multiplier \($left $sign $right) par \($methparm1)
 73 
methexp=Multiplier \($left $sign $right) par \($methparm1)
74 
 
 74 
 
75 
!read deduc/sub/simplify ($left) * ($methparm1)\
 75 
!read deduc/sub/simplify ($left) * ($methparm1)\
76 
	($right) * ($methparm1)
 76 
	($right) * ($methparm1)
77 
!distribute lines $out into newleft,newright
 77 
!distribute lines $out into newleft,newright
78 
!if $newleft=$empty or $newright=$empty
 78 
!if $newleft=$empty or $newright=$empty