I would like to have the patch proposed in
https://groups.google.com/forum/#!msg/fricas-devel/j-dy6TXiX9E/CG4JFGYeGgAJ in
the new release, fixing a bug in the InputForm of formal derivatives.
That would be great,
Martin
Am Freitag, 21. Februar 2020 17:04:57 UTC+1 schrieb Waldek Hebisch:
>
> I
On 2/21/20 4:53 PM, Waldek Hebisch wrote:
> On Wed, Feb 19, 2020 at 10:19:45PM +0100, Ralf Hemmecke wrote:
>> Since we are at interpreter error messages. I get ...
>>
>> (210) -> onetnStep! ycomp
>>
System error:
>> The function BOOT::|*1;onetnStep!;1;initial| is undefined.
>
> I consider t
After some thinking I don't find it so strange anymore that adding
'finiteAgggregate' is a remedy. The domain FOOX (only one List) works without
this because S=Integer, whereas in FOO we have S=List Integer where some info
may be get lost in the recursion.
ListAggregate(S : Type) : Category == Joi
I am thinking about new release. To say the truth we have
quite long list of open bugs and it would be good to fix
some of them before release. However there is long time
from last release, we have new code that should get more
use. And most bugs probaly will require long time to fix.
For exampl
When we add Join(finiteAggregate) it works; strange isn't it. Why?
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
Exports == Join(finiteAggregate) with
foo: () -> Boolean
Implementation == add
foo(): Boolean ==
a: List List Integer := empty()
b: List List
On Wed, Feb 19, 2020 at 10:19:45PM +0100, Ralf Hemmecke wrote:
> Since we are at interpreter error messages.
> I get ...
>
> (210) -> onetnStep! ycomp
>
>>> System error:
>The function BOOT::|*1;onetnStep!;1;initial| is undefined.
I consider this as interpreter bug. Interpreter is produ
On Wed, Feb 19, 2020 at 09:10:26PM +0100, Ralf Hemmecke wrote:
> > This tells you that offending part is
> >
> > a < b
> >
> >> ** level 3 **
> >> $x:= (< a b)
> >> $m:= (Boolean)
> >> $f:=
> >> |b| # #) (|a| # #) (|foo| #) (|$DomainsInScope| # # #) ...)))
> >>
> >>>> App