Re: [fricas-devel] Literate markup

> Most files had basically only > boilerplate markup, I removed it. Some parts in the patch are definitely boilerplate markup, for example the "<>" markup, and "

[fricas-devel] [PATCH] remove duplicated signature of gcdPolynomial

")dis op gcdPolynomial" returns (SUP D, SUP D) -> SUP D for D has GCDDOM and D has PFECAT, but "PFECAT has GCDDOM", so the signature is duplicated. In catdef.spad, no need to export gcdPolynomial for PFECAT again. diff --git a/src/algebra/catdef.spad b/src/algebra/catdef.spad index 0358e04..ffa2b

Re: [fricas-devel] UnivariateTaylorSeries is Any?

Waldek and Martin, In the new Sage interface for FriCAS Martin is using domain = P.new("dom(%s::Any)" % self._name) # domain is now a fricas SExpression and therefore write Sage code like: head = str(domain.car()) if head == "List": ... which is nice of course, but while considering extend

Re: [fricas-devel] UnivariateTaylorSeries is Any?

Thank you Waldek. Now at least the magic is better hidden. :) https://github.com/fricas/fricas/commit/05ee8d9e5b855106c08670deb35379882147aa0e Indeed I had completely forgotten about this: https://groups.google.com/d/msg/fricas-devel/_0tijpdaPng/kT46-RJbn28J Bill. On 18 August 2016 at 20:43,

Re: [fricas-devel] fricas-aldor does not compile

The 'with' does make a difference (it shouldn''t, of course). There's a patch I missed - apply it manually as I have edited out an unrelated change. diff --git a/src/aldor/Makefile.in b/src/aldor/Makefile.in index ae7a8df..b419038 100644 --- a/src/aldor/Makefile.in +++ b/src/aldor/Makefile.in @@

Re: [fricas-devel] fricas-aldor does not compile

On 08/19/2016 10:57 AM, Peter Broadbery wrote: > this should do the job: > > - src/aldor/aldor/axextend.as > - > index 1a080bf..4d119ad 100644 > @@ -561,7 +561,7 @@ extend Vector(S: Type): with { > (rep x).(dec n) := v pretend BVal; > } >

Re: [fricas-devel] fricas-aldor does not compile

this should do the job: - src/aldor/aldor/axextend.as - index 1a080bf..4d119ad 100644 @@ -561,7 +561,7 @@ extend Vector(S: Type): with { (rep x).(dec n) := v pretend BVal; } -extend Matrix(R: with {SemiRng;AbelianMonoid}): with { +extend M

[fricas-devel] fricas-aldor does not compile

I just tried to compile the fricas-aldor interface. It fails. No time at the moment, but I guess it is in connection with the latest generalization of the argument of Matrix. Ralf #1 (Error) Argument 1 of `Matrix' did not match any possible parameter type. The rejected type is AbelianMonoid.