On Tue, Jul 18, 2023 at 05:03:23PM +0000, '68th' via FriCAS - computer algebra
system wrote:
> Hello,
>
> How to make FriCAS distribute over addition?
>
> For example, (a+b)*c into a*c+b*c.
>
> Tried rule to no avail.
Right question is what do you really want? Each FriCAS type has
its own rules how data is internally represented and how it is
printed. Polynomial(Integer) (which as Ralf wrote) is default
type for you input, used canonical representaion which means
that mathematically equal polynomials have the same representation.
So for "distribute" really make no sense: all transformation
needed to check equality of polyniomial are performed automatically.
If you are interested in "visible" result, that is matter of
printing. Currenly normal printing routines somewhat follow
internal structure of the type. That is somewhat clumsy,
because simplest way of changing printed form is do type
converion to different type with different internal representation.
For purpose of calculation FriCAS approch means that users
automatically get resonably strong simplification. For example
may years ago ocasional FriCAS user (who apperenty asked
before trying) asked me what do to simplify about half text
screen sized expression in FriCAS. The anwser was: input it
in FriCAS and FriCAS will automatically perfrom the simplification.
If you want to do calulation by hand and use FriCAS as a "notebook",
then current FriCAS behaviour may be frustrating, you need special
effort to put results in form that prints as you want. OTOH,
if you are interested in final result of calculations, that
in same case FriCAS defult behaviour will give you simplifications
that you want. There is bunch of "simplifying" routines that do
more than appropriate in default behaviour.
Much of normal work probably will be done in Expression(Integer),
I will write about this in separate mail.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZLj3Ztqnfd5yHaP/%40fricas.math.uni.wroc.pl.
