Ask Your Question

bgillespie's profile - activity

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.