Opened 6 years ago

Closed 3 years ago

#17414 closed enhancement (invalid)

patch Singular to avoid silent bugs

Reported by: jakobkroeker Owned by:
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: packages: standard Keywords: Singular
Cc: jpflori, jdemeyer, nbruin, burcin Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:


1.An invalid assignment in Singular is ignored and produces only a warning. This shadowed at least a bug in Normal::genus(): I suggested that Singular should throw an error in case of an invalid assignment. This suggestion was ignored upstream, so I propose to patch Singular in Sage instead.

2.In some places of the Singular library code polynomial rings are extended by variables with hardcoded names. In case of a name conflict, variables are autorenamed. This may trigger bugs, as shown in Therefore I suggest to disable autorenaming (1) , throw an error in case of a variable conflict (2) and fix the hardcoded variable names in Singular in a long term. (1) and (2) was declined upsteam; from my point of view mostly because of hurted egos. Therefore I propose to patch Singular used in Sage.

  1. Check if some other Singular warnings are in fact errors and should be handled that way.

Change History (2)

comment:1 Changed 3 years ago by jdemeyer

Is this ticket still relevant or obsolete?

comment:2 Changed 3 years ago by jdemeyer

  • Milestone changed from sage-6.5 to sage-duplicate/invalid/wontfix
  • Resolution set to invalid
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.