>
> Concerning the pull request here:
>
> > > https://github.com/raoulb/fricas/commit/1d4958e10f42840ad33e39bde8bfd4a6010dfbbe
>
> > > I think, however, we should (in the commit message, record the SVN
> > > revision number of the open-axiom tree so that we know what patches
> > > we already have.
>
> Just updated the commit message to include the revision and change log entry.
> This was the only serious change in OpenAxion's matcat as it seems.
>
> Others are:
>
> Negation operator: ^= ---> ~=
>
> Unquote binary operators: "+" ---> +
>
> Use one? x instead of x=1
>
> Remove some underscores like: swapRows_! ---> swapRows!
>
> These are just technical changes. Can and should
> we port some of these too?
>
No. Some already done in FriCAS, some are debatable. In general
in changes like this should be done as global changes and one
should replace all occurences. Given that at last 20% of
FriCAS code is not present in OpenAxiom, when we want to
do global changes similar to one in OpenAxiom, we need
to essentially redo it (merely changing places changed
in OpenAxiom is not enough).
> BTW: I think that it would be nice if we were
> able to express A^n for symbolic n the same way
> we can express x^n for "scalar" x.
>
> What would it take to allow this?
That would require changes to Expression domain. Currently
Expression has rich functionality if parameter is an
IntegralDomain, but limited in other cases. We need to
make sure that parameters satify Comparable. And we
need to remove assumption that if parameter is a Ring,
then variables commute.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
