Ticket #9503 (new defect)

Opened 3 years ago

FreeModule_submodule_with_basis_pid calls wrong constructor

Reported by: novoselt Owned by: AlexGhitza
Priority: major Milestone: sage-5.11
Component: algebra Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description

This is a piece of the current code in FreeModule_submodule_with_basis_pid after #9502 (before it was the same without explanations)

# The following is WRONG - we should call __init__ of
# FreeModule_generic_pid. However, it leads to a bunch of errors.
FreeModule_generic.__init__(self, R,
                            rank=len(basis), degree=ambient.degree(),
                            sparse=ambient.is_sparse())

The errors seem to be related to number fields and their rings of integers.

Note: See TracTickets for help on using tickets.