The reason that i wrote this as _rule is because the interpreter seems to have a bug that coerces things to Expression Integer. Using the function call syntax seems to get around that and I also use a package call in order to be very specific if necessary.
On 4 February 2017 at 18:06, Kurt Pagani <[email protected]> wrote: > I must be especially slow on the uptake today. > Now I got it :) > > rule is a keyword (rule A==B ) and _rule are the functions visible by )d op > rule. > (I've been looking for the function with "_" , unfortunately) > > > [2] (D1,D1) -> RewriteRule(D2,D3,D1) from RewriteRule(D2,D3,D1) > if D2 has SETCAT and D3 has Join(RING,PATMAB(D2),COMPAR, > KONVERT(PATTERN(D2))) and D1 has Join(FS(D3),PATMAB(D2), > KONVERT(PATTERN(D2))) > > Thanks again. > > > > On Saturday, 4 February 2017 23:59:18 UTC+1, Waldek Hebisch wrote: >> >> Kurt Pagani wrote: >> > Now that I know the meaning of "_" I'm wondering where "_rule" is >> > defined ? >> >> Hyperdoc shows one two argument 'rule', namely in RewriteRule >> (file src/algebra/rule.spad). >> >> -- >> Waldek Hebisch > > -- > 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. -- 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.
