Rev 20 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 20 | reyssat | 1 | # Standardized zero (equation) checker. No approximation is allowed. |
| 2 | # Input are lines. |
||
| 3 | # Output are lines, in $out. |
||
| 4 | |||
| 5 | I__=!nonempty lines $wims_read_parm |
||
| 6 | tvars__=!varlist $I__ |
||
| 7 | tvars__=!lower $tvars__ |
||
| 8 | tvars__=!listintersect $tvars__ and \ |
||
| 9 | cos,sin,tan,tg,ctan,ctg,sec,csc,cosh,sinh,tanh,ch,sh,th |
||
| 10 | !if $tvars__!=$empty |
||
| 16136 | bpr | 11 | I__=!replace internal $\ |
| 20 | reyssat | 12 | $ by ))\ |
| 13 | trigreduce(trigsimp( in trigreduce(trigsimp($I__)) |
||
| 14 | !endif |
||
| 15 | |||
| 16 | n__=!linecnt $I__ |
||
| 17 | !reset out,p__ |
||
| 18 | !for i__=1 to $n__ |
||
| 16136 | bpr | 19 | l__=!line $i__ of $I__ |
| 20 | p__=!append line if $maximasimp($l__)=0 then "yes" else "no"; to $p__ |
||
| 20 | reyssat | 21 | !next i__ |
| 22 | |||
| 23 | out=!exec maxima $p__ |
||
| 24 | out=!replace internal " by $ in $out |