Opened 13 years ago

Last modified 12 years ago

#394 new proposed feature

improving farey

Reported by: pfister Owned by: burcin
Priority: minor Milestone: 3-1-4 and higher
Component: singular-kernel Version: 3-1-3
Keywords: farey Cc:

Description

  1. farey should return 0 if the result is not uniquely determined.
  2. faray applied to a polynomial should lift the coefficients with the least comon multiple of the denominators as a denominator. Burcin will explain the details.

Change History (3)

comment:1 Changed 12 years ago by decker

Owner: changed from somebody to burcin

comment:2 Changed 12 years ago by gorzel

Concerning point No 2.

As I have noticed, the returnvalue farey turned frcation free after end of January.

However, I have the misgivings that the result is no longer correct.

Intrinsic tests on the results obtained by modular computations may show no problems. But could you compar the computations obtain with modular computations and farey lifting with direct computations in char 0 and check the validity?!

The Singular version that I consider to work correctly was:

Singular for x86_64-Linux version 3-1-4 (3140- 14545 ) Jan 30 2012 06:26:35 with

factory(@(#) factoryVersion = 3.1.3),libfac(3.1.3,March 2011), GMP(5.0),NTL(5.5.2),64bit,static readline,Plural,fan/cone,DBM, dynamic modules,OM_CHECK=0,OM_TRACK=0,random=1337768447

comment:3 Changed 12 years ago by gorzel

Or has the old behavior be reestablished in in the latest version and my previous comment was obsolete?

Note: See TracTickets for help on using tickets.