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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
