Prof. Dr. Johanneas Grabmeier wrote:
>
> here a two little improvements/enhancements:
>
> I made CyclicGroup of category CommutativeStar and accordingly for
> MonoidRing, if the Monoid has CommutativeStar, so we can e.g. compute
> the determinant of a matrix over a group ring of the cyclic group. I
> also added a function monomialElements as partner of coefficients, which
> was missing in MonoidRing.
As Franz wrote we already have 'support'. Concerning categories,
do you mean the following:
Index: src/algebra/discrgrp.spad
===================================================================
--- src/algebra/discrgrp.spad (revision 1941)
+++ src/algebra/discrgrp.spad (working copy)
@@ -10,7 +10,7 @@
++ References:
++ Description:
++ The category of finite groups.
-FiniteGroup : Category == Join(Group, Finite) with
+FiniteGroup : Category == Join(Group, CommutativeStar, Finite) with
order : % -> Integer
++ \spad{order(x)} computes the order of the element $x$.
add -- default
Index: src/algebra/mring.spad
===================================================================
--- src/algebra/mring.spad (revision 1941)
+++ src/algebra/mring.spad (working copy)
@@ -44,6 +44,8 @@
if R has CharacteristicZero then CharacteristicZero
if R has CharacteristicNonZero then CharacteristicNonZero
if R has CommutativeRing then Algebra(R)
+ if R has CommutativeRing and M has CommutativeStar then
+ CommutativeRing
if (R has Finite and M has Finite) then Finite
if M has Comparable then
FreeModuleCategory(R, M)
--
Waldek Hebisch
[email protected]
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
