On 05/30/2014 02:10 AM, Bill Page wrote:
So you want me to display
Complex: (R: CommutativeRing) - ComplexCategory(R)
Yes that notation would be OK but it is not actually used in FriCAS.
OK, but the problem is that if the argument part comes as C with ...
and the target type is not just a
On 30 May 2014 03:35, Ralf Hemmecke r...@hemmecke.org wrote:
... We can have
just PositiveInteger as argument type.
http://hemmecke.de/fricas/html/PrimeField.html
Yes. Its signature is:
PrimeField(p : PositiveInteger) : Join(FiniteFieldCategory,
FiniteAlgebraicExtensionField(%),
Interesting...
https://github.com/fricas/fricas/blob/master/src/algebra/fs2ups.spad#L1348
Result == Union(%series : UPS, %problem : Problem)
I thought that identifiers starting with % are a speciality in the
interpreter.
What happens, if I had written SPAD code with
Record(%pi: Integer,
Ralf Hemmecke wrote:
It is sometimes useful to find the domain up in the hierarchy which
actually implements a particular function.
Can this be queried at runtime using some nasty Lisp or Boot tricks?
Say, I have a domain (or package) form like (Fraction S) and a
signature (SIGNATURE / (%