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 question is, is there a domain to express expressions
that are
I'm unable to create a reasonable example:
FCI==>FourierComponent(Integer)
FSI ==> FourierSeries(EXPR INT,INT)
(1) -> sin(5)$FCI
(1) sin[5]
Type: FourierComponent(Integer)
(2) -> makeCos(5,z)$FSI
(2) zcos[5]
To avoid confusion let's make an example:
L:=[u,v,w]
FG2:=FreeGroup OVAR L
fg2:=[coerce(s)$FG2 for s in enumerate()$OVAR(L)]
LL:=[retract(s)$FG2 for s in fg2]
FG2 has Group --> true
So FG2 is a free group and we can build terms
(1) -> fg2.1 * fg2.2 * inv(fg2.1)
- 1
(1) u v u
On 12 November 2016 at 13:06, Martin Baker wrote:
> On 12/11/16 17:37, Bill Page wrote:
>>
>> I think I know what you mean however in FriCAS % always represents a
>> domain - not an element of a domain. In the category 'Group' %
>> represents a domain whose operations satisfy
On 12/11/16 17:37, Bill Page wrote:
I think I know what you mean however in FriCAS % always represents a
domain - not an element of a domain. In the category 'Group' %
represents a domain whose operations satisfy group axioms. Perhaps it
is unexpected that so few domains in FriCAS satisfy Group
On 12 November 2016 at 06:23, Martin Baker wrote:
> ...
> In simpler terms: PermutationGroup and GroupPresentation are never going
> to implement the category 'Group' because in PermutationGroup and
> GroupPresentation % represents the whole group whereas in Group %
>
Hello Martin
> Hi Kurt,
>
> In simpler terms: PermutationGroup and GroupPresentation are never going to
> implement the category 'Group' because in PermutationGroup and
> GroupPresentation
> % represents the whole group whereas in Group % represents an element of the
> group.
Indeed. Since
On 10/11/16 16:46, Kurt Pagani wrote:
On 10 November 2016 at 10:37, Martin Baker > wrote:
Hi Kurt,
> Your "GroupPresentation" actually isn't a group, so I wonder whether it
wouldn't
> be favourable to implement a domain, e.g.