Subversion Repositories wimsdev

Rev

Rev 20 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
16321 bpr 1
!set methtit2=Dividir una desigualdad por un número distinto de cero
2
!set methtit=Dividir una desigualdad por un número
20 reyssat 3
!set methenv=ZZ QQ RR
4
!set methparmtype=number,parm inequality
16321 bpr 5
!set methhelp=Este método transforma una desigualdad del estilo \(A > B)\
6
  en la desigualdad equivalente \(A/n > B/n) (o \(A/n < B/n)), donde \(n) es un número\
7
  distinto de cero.
20 reyssat 8
 
9
!if $wims_read_parm iswordof form check
16321 bpr 10
  !goto $wims_read_parm
20 reyssat 11
!endif
12
 
13
!exit
14
:form
16321 bpr 15
Dividir la desigualdad
16
!read deduc/methparm.phtml 2
17
$ entre un número
18
!read deduc/methparm.phtml 1,10
20 reyssat 19
 
20
!exit
21
:check
16321 bpr 22
!distribute items $methparmobj2 into data,left,sign,right
23
!ifval $methparm1=0
24
  error=¡División por cero!
20 reyssat 25
  !advance penalty
26
  !exit
16321 bpr 27
!endif
28
methexp=Diviser \($left $sign $right) par \($methparm1)
20 reyssat 29
 
16321 bpr 30
!read deduc/sub/simplify ($left) / ($methparm1)\
20 reyssat 31
	($right) / ($methparm1)
16321 bpr 32
!distribute lines $out into newleft, newright
33
!if $newleft=$empty or $newright=$empty
20 reyssat 34
  error=bad_data
35
  !exit
16321 bpr 36
!endif
37
!if $methparm1<0
20 reyssat 38
  newsign=!translate internal <> to >< in $sign
16321 bpr 39
!else
20 reyssat 40
  newsign=$sign
16321 bpr 41
!endif
42
newobject2=$newleft $newsign $newright
43
oldobject=2
20 reyssat 44
 
16321 bpr 45
contextlist=$ct_Onlywhen el divisor es distinto de cero,\
46
	$ct_Onlywhen el divisor es positivo,\
20 reyssat 47
	$ct_Always,\
16321 bpr 48
	$ct_Onlywhen ambos lados son positivos,\
49
	$ct_Onlywhen ambos lados tienen el mismo signo,\
50
	$ct_Onlywhen la desigualdad es estricta
51
 
52
badsign=!translate internal <> to >< in $newsign
20 reyssat 53
 resultlist=$newobject2,\
54
	$newright $newsign $newleft,\
55
	$newleft $badsign $newright
56
 
57
!exit