strict comparison over function field is symmetric

[ren]

Not sure whether that constitutes as a bug, but mathematically I think it is.

                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.0.2
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Feb 2015
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
> ring r = (0,t),x,dp;
> number(0)<number(0);
1
> number(0)>number(0);
1
> number(0)!=number(0);
0
>

[ren]

I would like to fix this behaviour, but looking into the transext.cc, I am not sure whether it is intended or not.

/* This method will only consider the numerators of a and b, 
  without cancelling gcd's before.
  Moreover it may return TRUE only if one or both numerators are zero 
  or if their degrees are equal. 
  Then TRUE is returned iff coeff(numerator(a)) > coeff(numerator(b));
  In all other cases, FALSE will be returned. */
static BOOLEAN ntGreater(number a, number b, const coeffs cf)
{
  [...]
}

[hannes]

fixed with 4567e8e006085669aaed5ffb4665366c49949812