Ask Your Question

Linear subspace of polynomial ring

asked 2014-01-27 00:12:44 -0500

I am trying to compute a QQ-linear subspace W of a polynomial ring R over QQ. However, R does not seem to have a method like subspace. So what I would like to do is


For further purposes I still want to apply functions defined on the ring R to elements of W but also apply linear algebra methods (linear maps, eigenspaces, ...) to W.

I am sorry to bother you with this, it should be very easy, but I did not find a way to do it.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2014-01-27 02:28:38 -0500

tmonteil gravatar image

There should be a way, since the category framework knows that R is a vector space:

sage: R.categories()
[Join of Category of unique factorization domains and Category of commutative algebras over Rational Field,
 Category of unique factorization domains,
 Category of gcd domains,
 Category of integral domains,
 Category of domains,
 Category of commutative algebras over Rational Field,
 Category of algebras over Rational Field,
 Category of commutative rings,
 Category of rings,
 Category of rngs,
 Category of semirings,
 Category of monoids,
 Category of semigroups,
 Category of magmas,
 Category of vector spaces over Rational Field,
 Category of modules over Rational Field,
 Category of bimodules over Rational Field on the left and Rational Field on the right,
 Category of right modules over Rational Field,
 Category of left modules over Rational Field,
 Category of commutative additive groups,
 Category of commutative additive monoids,
 Category of commutative additive semigroups,
 Category of additive magmas,
 Category of sets,
 Category of sets with partial maps,
 Category of objects]

sage: R in VectorSpaces(QQ)

But then, i do not know what explicit things i can do with that... It could be nice to inherits all features of a vector space. I will ping specialists to explain what can be done.

edit flag offensive delete link more


Did anything ever come out of this inquiry? I've been poking around all day trying to figure out how to do this, and I'm starting to suspect that it just isn't implemented yet. At the moment, it looks like only special vector space implementations are infinite-dimensional, while the standard implementation falls back on FreeModule, which requires a finite dimension.

Interested in any updates that arise.

bgillespie gravatar imagebgillespie ( 2015-01-15 15:44:08 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-01-27 00:12:44 -0500

Seen: 121 times

Last updated: Jan 27 '14