They were commented out by commit r394,
I think it's safe to remove them.
-- st(k, l) ==
-- mkk assert(setProperty(copy operator k, PMPRED,
-- concat(preds k, l) pretend None), string(new()$Symbol))
-- Looks fishy, but we try to preserve meaning
-- assert : (F, String) -> F
-- ++ assert(x, s) makes the assertion s about x.
-- ++ Error: if x is not a symbol.
-- assert(x, s) ==
-- retractIfCan(x)@Union(Symbol, "failed") case Symbol =>
-- asst(retract(x)@K, s)
-- error "assert must be applied to symbols only"
Along with 'asst' (only 'assert' uses it):
asst(k, s) ==
has?(op := operator k, s) => k::F
mkk assert(op, s)
--
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.
