Re: [fricas-devel] Symbolic (unevaluated) Expressions

> How about using List of EXPR as Rep? Second thought, it will not work, polynomial will still be expanded. > On the other hand, probably carrying it too far, one might use OutputForm > which > is very expressive and greatest possible "symbolic", if only there were a way > back ;) Yes,

Re: [fricas-devel] [BUG?] f x == x::FR POLY INT

oldk1331 wrote: > > (1) -> f x == x::FR POLY INT >Type: Void > (2) -> factorList f(x^2-1) >Compiling function f with type Polynomial(Integer) -> Factored( > Polynomial(Integer)) > >2 >

[fricas-devel] [BUG?] f x == x::FR POLY INT

(1) -> f x == x::FR POLY INT Type: Void (2) -> factorList f(x^2-1) Compiling function f with type Polynomial(Integer) -> Factored( Polynomial(Integer)) 2 (2) [[flg = "sqfr",fctr = x -

Re: [fricas-devel] Symbolic (unevaluated) Expressions

This reminds me to https://lists.nongnu.org/archive/html/axiom-developer/2009-06/msg2.html I've seen your symbolic.spad for the first time and it might be an approach to a topic which is haunting around for some time. How would you implement formal sums, integrals, differentials and so on?

Re: [fricas-devel] Symbolic (unevaluated) Expressions

How about using List of EXPR as Rep? Then this "symbolic expression" will be viewed as a sum of current EXPR, and many operations can be done by "map". Just a thought. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

[fricas-devel] Symbolic (unevaluated) Expressions

On 12 November 2016 at 22:31, oldk1331 wrote: > I have a related question: > > Seems your question has something to do with the fact that > in FriCAS Expression is represented by polynomials and > polynomials are always expanded. > > So integrate(1/(x+1)^n,x) will be slow when

[fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Patch is here: https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps1.patch File is here: https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps.spad It is used like this: permgp := dihedralGroup(3)$PermutationGroupExamples (1) <(1 2 3),(1 3)>

Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

Am 13.11.2016 um 19:24 schrieb Martin Baker: > > For homotopy and homology the current GroupPresentation domain gives me a > relatively simple way to do the things I need. I'm not sure if the extra > complexity of the FreeGroup domain would be justified? It seems to me that > these > subjects