> 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, somethin
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
>
(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 - 1,
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? I'v
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 unsu
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 n is large.
>
> My q
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)>
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 nee