Re: [fricas-devel] Interpreter type reconstruction

In this case, there are multiple Domains for the same thing (multivariate polynomial), it's unavoidable to have some type declaration: If by default, interpreter makes "a*b-1" to POLY INT, then you have to declare "P:=NSMP(...)" to get NSMP instead of POLY. If you have such a type declaration,

Re: [fricas-devel] Interpreter type reconstruction

Ralf Hemmecke wrote: > > On 09/07/2016 12:36 AM, Waldek Hebisch wrote: > > One example of weirdness during type reconstructon. Currently with: > > > > R := Integer ls : List Symbol := [a,b,c,d,e,f] V := OVAR(ls) P := > > NSMP(R, V) > > > > evaluating > > > > (a*b - 1)@P > > > > gives error

Re: [fricas-devel] Interpreter type reconstruction

To be honest, I don't know much about the internals of how the interpreter chooses the types and in fact I don't care too much in the sense that I happily add coercions manually if there is need. Nevertheless, I'd like to comment. On 09/07/2016 12:36 AM, Waldek Hebisch wrote: > One example of

[fricas-devel] Interpreter type reconstruction

One example of weirdness during type reconstructon. Currently with: R := Integer ls : List Symbol := [a,b,c,d,e,f] V := OVAR(ls) P := NSMP(R, V) evaluating (a*b - 1)@P gives error message saying that a*b - 1 gave Polynomial(Integer) instead of requested type. Sumilarly for (a*b*c - 1)@P and

Re: [fricas-devel] Windows build and PREGENERATED

> Ok, will look deeper into that issue when time permits but right now I just > checked out the SVN tree (rev. 2100) and the build process stops directly > at an earlier stage : > > = > make[2]: Leaving directory

Re: [fricas-devel] Windows build and PREGENERATED

Hi, Ok, will look deeper into that issue when time permits but right now I just checked out the SVN tree (rev. 2100) and the build process stops directly at an earlier stage : === [undoing binding stack and other

Re: [fricas-devel] Windows build and PREGENERATED

Hi, Many thanks built successfully! Cheers, __ Greg 2016-08-31 10:35 GMT+02:00 oldk1331 : > Greg: Just saying, since 1.3.0 is out, you can build this one. > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra

Re: [fricas-devel] Algebraic Topology Issue 1

On 05/09/16 01:17, Waldek Hebisch wrote: No. My suggestion is to have: FiniteSimplicialComplex(VS : SetCategory) ... Rep := Record(VERTSET : List(VS), SIMP : List(OrientedFacet)) SIMP can use numbers from 1 to n. VERTSET gives correspondence between numbers and vertices. I can see