Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version
sage: R = PolynomialRing(QQ,'x')
sage: R in CommutativeAlgebras(QQ)
sage: M = FreeModule(R,3)
sage: M.parent()
<class 'sage.modules.free_module.FreeModule_ambient_pid_with_category'>
sage: m=M.random_element()
sage: m.parent()
Ambient free module of rank 3 over the principal ideal domain Univariate Polynomial Ring in x over Rational Field

Does this answer your qestion ?