2015-01-15 22:44:08 +0200 | commented answer | Linear subspace of polynomial ring 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. |