Dear John,
On Jul 2, 4:53 pm, John H Palmieri <[EMAIL PROTECTED]> wrote:
> > - a quotient of a graded-commutative ring, isomorphic to the
> > cohomology ring; these are data in Singular.
>
> Do you mean, a quotient of a "free" graded-commutative ring, or
> something like that? Otherwise, why say "quotient"?
Sure, i wasn't precise enough. In characteristic 2, i simply have a
quotient of a polynomial ring.
And in odd degree, by "free" graded-commutative, i mean a tensor
product of a polynomial ring (whose generators are in even degrees)
with an exterior algebra (whose generators are in odd degrees); in
Singular, this can be created using the function "SuperCommutative".
And then, you have a homogeneous relation ideal, and the quotient ring
is isomorphic to the cohomology ring.
I think that having the action of the Steenrod operation would be
rather interesting. Thank you for the hint that it mod 2 Steenrod
operations are "almost" in Sage!
Yours
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
