Taylor Form bound gets larger with increasing computing precision instead of getting thinner (from gforge #13897)
Imported issue: Initially reported by @x-CLaute in https://gforge.inria.fr/tracker/?group_id=1015&aid=13897
The following behavior of taylorform defies my general understanding of Computer Arithmetic:
lauter@remez:~/sollyaAllBranches/branches/sollya_lib$ rlwrap -A ./sollya
prec = 165;
The precision has been set to 165 bits.
L = taylorform(1/sqrt(x),5,0.5,[0;1],relative); L[2];
[-1.4965776766268445882405732687014738121276749240088e51;1.40790069235457796816828194967793932695012819075216e51]
prec = 330;
The precision has been set to 330 bits.
L = taylorform(1/sqrt(x),5,0.5,[0;1],relative); L[2];
[-6.999202319305638157992007126776388369130142178858279796562465940511849597438002954315242166473772384e100;6.58447733464168810420222757843403781917479332867147131626415555288435279014658903203835447072941685e100]
prec = 660;
The precision has been set to 660 bits.
L = taylorform(1/sqrt(x),5,0.5,[0;1],relative); L[2];
[-1.0206006897202796743641355002920082509421316213795554085902949063784000763159479678363357935018504603507817895260674835712453801049431405385505669538109952991275783611012243584635946429886239575515795e200;9.60126854834156457018894815865429532506749049041370026663650525365137584763117225706633902467241182589598311719156259568500689065207008685629314318367422219520345678036335064096387472381182154445085e199]