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

2018-12-15 Thread Waldek Hebisch
Ralf Hemmecke wrote: > > Hi Waldek, > > Peter has updated his pull request > > https://github.com/fricas/fricas/pull/5 > > some time ago. It is working for me and I would like to commit these 5 > patches to the fricas svn repository. > > I was a bit concerned about him adding lowercase 'and,

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

[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