Subversion Repositories wimsdev

Rev

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

Rev 16135 Rev 16209
Line 1... Line 1...
1 
!set methtit2=The square of a real number is positive or zero
 1 
!set methtit2=The square of a real number is positive or zero
2 
!set methtit=Positivity of a square
 2 
!set methtit=Positivity of a square
3 
!set methenv=ZZ QQ RR
 3 
!set methenv=ZZ QQ RR
4 
!set methparmtype=function
 4 
!set methparmtype=function
5 
!set methhelp=this method add a condition of the type \(U^2 >= 0) into\
 5 
!set methhelp=this method add a condition of the type \(U^2 >= 0) into\
6 
 the hypotheses, where \(U) is an algebraic expression of your choice.
 6 
  the hypotheses, where \(U) is an algebraic expression of your choice.
7 
 
 7 
 
8 
!if $wims_read_parm iswordof form check
 8 
!if $wims_read_parm iswordof form check
9 
  !goto $wims_read_parm
 9 
  !goto $wims_read_parm
10 
!endif
 10 
!endif
11 
 
 11 
 
12 
!exit
 12 
!exit
13 
:form
 13 
:form
14 
 One applies \(U^2 >= 0), where \(U) =
 14 
One applies \(U^2 >= 0), where \(U) =
15 
!read deduc/methparm.phtml 1
 15 
!read deduc/methparm.phtml 1
16 
 
 16 
 
17 
!exit
 17 
!exit
18 
:check
 18 
:check
19 
!if / isin $methparm1
 19 
!if / isin $methparm1