IIUC there is a misprint in both previous emails: %x in the LHS of the rule
should be replaced by x as in the RHS. ric
(1) -> N := operator 'N
(1) N
Type: BasicOperator
(2) -> phirule := rule erf(%x)==2*N(x*sqrt(2))-1 -- BAD
┌─┐
(2) erf(%x) == 2 N(x\│2 ) - 1
Type: RewriteRule(Integer,Integer,Expression(Integer))
(3) -> phirule(erf(y))
┌─┐
(3) 2 N(x\│2 ) - 1
Type: Expression(Integer)
(4) -> phirule := rule erf(x)==2*N(x*sqrt(2))-1 -- OK
┌─┐
(4) erf(x) == 2 N(x\│2 ) - 1
Type: RewriteRule(Integer,Integer,Expression(Integer))
(5) -> phirule(erf(y))
┌─┐
(5) 2 N(y\│2 ) - 1
Type: Expression(Integer)
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
