Hi Waldek,
I am about to design a function that depends on a domain and a few other
parameters.
Cat: Category == with
foo?: Integer -> Boolean
..
D1: Cat == add ...
D2: Cat == add ...
Dom(): with
bar?: (Cat, Integer) -> Integer
add
blah(x: %): Integer == ...
bar(D: Cat, n: Integer, x: %): Integer ==
k: Integer := blah(x, n)
if (foo? $ D)(k) then 1 else 0
I am pretty sure that this is possible. I just want to ask whether from
your point of view this causes any speed penalties?
In my current idea I would not want to put that dependency into the
arguments of Dom. It is rather that "bar" counts as an additional
feature that is not so important. I also don't want to move bar to a
separate package.
Thank you in advance
Ralf
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/eeea1a88-5e50-4c00-a51c-8f5114b2bab2%40hemmecke.org.
