I guess so: sage: type(SR^3) <class 'sage.modules.free_module.FreeModule_ambient_field_with_category'>
However sage: isinstance(SR, sage.rings.principal_ideal_domain.PrincipalIdealDomain) False and this creates problems in FreeModule_generic_pid constructor. I am working on #9502 and when I tried to switch base call constructor in FreeModule_submodule_with_basis_pid to its real base FreeModule_generic_pid, I got errors. What would be the correct test that will accept SR as a PID? Thank you, Andrey -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
