Revision history [back]
 | 1 | initial version |
sage: R = PolynomialRing(QQ,'x')
sage: R in CommutativeAlgebras(QQ)
True
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 ?
