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