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 |
|
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 |