Opened 6 years ago

Closed 6 years ago

#779 closed bug (fixed)

strict comparison over function field is symmetric

Reported by: ren Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-3
Keywords: Cc:

Description (last modified by 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
 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);
> number(0)>number(0);
> number(0)!=number(0);

Change History (3)

comment:1 Changed 6 years ago by ren

Description: modified (diff)

comment:2 in reply to:  1 Changed 6 years ago by ren

I would like to fix this behaviour, but looking into the, 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)

comment:3 Changed 6 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.