--* From Manuel.Bronstein@sophia.inria.fr  Wed Jul 26 10:16:34 2000
--* Received: from droopix.inria.fr (IDENT:root@droopix.inria.fr [138.96.111.4])
--* 	by nagmx1.nag.co.uk (8.9.3/8.9.3) with ESMTP id KAA22495
--* 	for <ax-bugs@nag.co.uk>; Wed, 26 Jul 2000 10:16:31 +0100 (BST)
--* Received: by droopix.inria.fr (8.10.0/8.10.0) id e6Q9GRL10935 for ax-bugs@nag.co.uk; Wed, 26 Jul 2000 11:16:27 +0200
--* Date: Wed, 26 Jul 2000 11:16:27 +0200
--* From: Manuel Bronstein <Manuel.Bronstein@sophia.inria.fr>
--* Message-Id: <200007260916.e6Q9GRL10935@droopix.inria.fr>
--* To: ax-bugs@nag.co.uk
--* Subject: [3] shiftDown$Machine wrong (-ginterp/linux only)

--@ Fixed  by: <Who> <Date>
--@ Tested by: <Name of new or existing file in test directory>
--@ Summary:   <Description of real problem and the fix>

-- Command line: axiomxl -ginterp badshift.as
-- Version: 1.1.12p6
-- Original bug file name: badshift.as

------------------------------ badshift.as ------------------------------
--
-- % axiomxl -ginterp badshift.as
--      On OSF/Solaris this returns the correct answer
--         shift(-10399264, -1) = -5199632
--      On Linux this returns a wrong answer
--         shift(-10399264, -1) = -1005328
--
-- Works ok if -fx is used to generate an executable
--

#include "axllib"

import from SingleInteger;

x := -10399264;		-- binary = -100111101010111000100000

print << "shift(" << x << ", -1) = " << shift(x, -1) << newline;