sca_mm_Mult_p: exponent mismatch 1 and 1

[Oleksandr]

Simon wrote:

Im Anhang definiere ich zunächst wieder einen superkommutativen Ring R mit einer Matrix-Ordnung und einem Ideal I. Da twostd(I) leider nicht funktioniert, ich aber weiß, dass groebner(I) hier ein zweiseitiges Ideal liefert, definiere ich

qring Q = groebner(I);

und ignoriere die Warnung.

Dann habe ich ein Ideal FRS, welches eine filter-reguläre Folge definiert. Um nachzuweisen, dass die Folge filter-regulär ist, muss ich Quotienten berechnen. quotient(ideal(0),ideal(FRS[1])) klappt, aber quotient(ideal(FRS[1]),ideal(FRS[2])) verabschiedet sich mit der Meldung

? sca_mm_Mult_p: exponent mismatch 1 and 1

? sca_mm_Mult_p: exponent mismatch 1 and 1

? sca_mm_Mult_pp: exponent mismatch 1 and 1

? sca_mm_Mult_pp: exponent mismatch 1 and 1

? error occurred in Bsp125gp3.txt line 71: `def q2 = quotient(ideal(FRS[1]),ideal(FRS[2]));

Was ist da passiert? Habe ich quotient falsch verwendet? Gibt es Beschränkungen, die ich nicht kannte? Ist es ein Bug?

[Oleksandr]

bugtest

[Oleksandr]

output on test

[Oleksandr]

output of Singularg after fixing twostd

[Oleksandr]

Messages like "? sca_mm_Mult_p: exponent mismatch 1 and 1" come from wrong twostd computation... (they mean that we try to multiply two vectors as polynomials!)

this was fixed... but there is still something wrong in sca_bba... gonna investigate it now...

[Oleksandr]

there were some bugs (missunderstanding of the the set T, wrong quotient hadling) in sca_bba.

fixed