Opened 15 years ago

Closed 14 years ago

Last modified 14 years ago

#16 closed task (worksforme)

Resolution due to La Scala

Reported by: Oleksandr Owned by: Oleksandr
Priority: major Milestone: Releases 3-0-x and lower
Component: singular-kernel Version:
Keywords: Cc:

Description

  • conformance of new NC-methods to Singular name convention. (trivial)
  • verify La Scala lres algorithm: due to its use of a dirty hack for creating syzygy polynomial - there should be an example of wrong behaviour!? (????)
  • event. merge my La Scala implementation into CVS (hard!)

Change History (5)

comment:1 Changed 14 years ago by seelisch

revision on Nov 13, 2008, i.e., after Singular meeting on Nov 12, 2008: In case of changes, please update status of this ticket!

comment:2 Changed 14 years ago by Oleksandr

Status: newassigned

comment:3 Changed 14 years ago by Oleksandr

Summary: Tasks due to G.-M. GreuelResolution due to La Scala

need to implement Schreyer (induced) ordering first. the problem with induced ordering is the following:

one has to know all the leading module-terms form the beginning, and has to belong to the ground ring as well as to syzygy algorithm structure...

thus it's better to compute Schreyer-frame first...

comment:4 Changed 14 years ago by Oleksandr

Resolution: worksforme
Status: assignedclosed

It's too difficult to do it now (and i have no time right now)... thus, maybe later on

comment:5 Changed 14 years ago by seelisch

Milestone: Releases 3-0-x and lower
Note: See TracTickets for help on using tickets.