Opened 15 years ago

Closed 15 years ago

Last modified 14 years ago

#17 closed bug (fixed)

bug in liftstd

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

Description

>> Hallo Kollegen,

>> mir ist aufgefallen, dass in 3-0-3 und spaeter
>> liftstd(plural) absolut falsch rechnet. In 3-0-1
>> war das noch korrekt, in 3-0-2 kommt schon
>> das halbwegs falsche raus. Es kann sein, dass
>> irgendwo rechts statt links gerechnet wurde.
>> Ich habe die Dokumentationsbeispiel verfolgt.

>> Das richtige (wie bei 3-0-1):
>> wir rechnen die GB von Linksideal <e^2,f> in U(sl_2),
>> die GB davon ist <e^2,h^2+h,e*h+e,f>.
>> Das richtige liftstd liefert die GB <f,2h2+2h,2eh+2e,e2>
>> (die Eintraege nicht unbedingt normiert) und die Transformationsmatrix
>> 0,f2,         -f,1,
>> 1,-e2f+4eh+8e,e2,0

>> Das falsche (ab 3-0-2, insb. 3-0-3 und 3-0-4):
>> die GB von liftstd: <h,f,e,h,f,e> ?????
>> und die Transformationsmatrix ist 2x6 Nullmatrix ?????

>> In dem Doku-Beispiel wird getestet, ob wir korrekt rechnen,
>> also ist es gleich ein Test. Und ab 3-0-2 ist es offensichtlich falsch.

>> Wichtig: lift funktioniert wie frueher - einwandfrei.

>> Viele Gruesse,
>> Viktor

Attachments (2)

liftstd.sing (1.4 KB) - added by Oleksandr 15 years ago.
my tests of liftstd
liftstd.2.sing (1.4 KB) - added by Oleksandr 15 years ago.
my tests of liftstd

Download all attachments as: .zip

Change History (5)

Changed 15 years ago by Oleksandr

Attachment: liftstd.sing added

my tests of liftstd

Changed 15 years ago by Oleksandr

Attachment: liftstd.2.sing added

my tests of liftstd

comment:1 Changed 15 years ago by Oleksandr

Status: newassigned

comment:2 Changed 15 years ago by Oleksandr

Resolution: fixed
Status: assignedclosed

Bug was in std computation... wrong Lie Bracket criterion application... => thrown away... checking in as a part of major NC redesign!

comment:3 Changed 14 years ago by seelisch

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