Re: [fricas-devel] Conditional exports in some types

2018-10-02 Thread Ralf Hemmecke
Hi Peter, hi Waldek, Taking some content of a private mail from Peter that concerns the same topic of this thread... On 10/01/2018 09:51 PM, Peter Broadbery wrote: > Taken a slightly closer look to remind myself - see for example the > file index.KAF in build/src/algebra/PSCAT.NRLIB - the functio

[fricas-devel] Conditional exports in some types

2018-10-02 Thread Peter Broadbery
Hi, I've been looking at the aldor interface (again), and found there's a few categories in fricas with what appears to be an incorrect condition on some exports For example, conditionP in POLYCAT has the following condition: conditionP : Matrix(%) -> Union(Vector(%),"failed") if and(has($,Chara