> sorry, what is missing?

the procedure idealsAreEqual was missing in 'ring.lib'. Now it is there

Zitat von Oleksandr Motsak <notifications@github.com>:

>> +proc isSubset(ideal I, ideal J)
>> +"USAGE:   isSubset(I,J); I, J ideals
>> +RETURN:  integer, 1 if I is a subset of J and 0 otherwise
>> +"
>> +{
>> +   if ( attrib(J,"isSB") == 0 )
>> +   {
>> +       def stdJ = std(J);
>> +   }
>> +   else
>> +   {
>> +       def stdJ = J;
>> +   }
>> +
>> +   // sanity check at assumeLevel=3
>> +   ASSUME( 3, idealsAreEqual( reduce (I, stdJ ), reduce (std(I),  
>> std(J) )) );
>
> sorry, what is missing?
>
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/Singular/Sources/pull/495/files#r9461307