Suppose I'm working with the ring R = Q[x]/(x^20), and I have a collection of elements f_1, ..., f_10. I want to determine if these elements are linearly independent over Q, and if not, to determine the linear relations between them. I can't figure out how to recover the vector space underlying R from the ring R. Thanks!
Calling vector(...) on a ring element should work:
sage: S.<x> = QQ[]
sage: I = S.ideal(x**20)
sage: R = S.quotient(I)
sage: R.inject_variables()
Defining xbar
sage: f1 = xbar**2 + 3*xbar
sage: f2 = xbar**3 - xbar + 2
sage: vector(f1)
(0, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
sage: vector(f2)
(2, -1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
Now you can use any Sage tools from linear algebra to examine those vectors.
Asked: 2023-07-19 17:27:51 +0100
Seen: 128 times
Last updated: Jul 20 '23
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.