Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						9852f7781d
					 | 
					
						
						
							
							- simplify error handling in arithmetic and handle infinite terms (#46)
						
						
						
						
						
						
					 | 
					
						2009-05-22 11:21:39 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						c132e7e6ec
					 | 
					
						
						
							
							fix gmp support to give out of resource error if the bignum is too big.
						
						
						
						
						
						
					 | 
					
						2009-04-25 11:01:33 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						fadec66d2c
					 | 
					
						
						
							
							gmp_should always recover space for the temporary bignum.
						
						
						
						
						
						
					 | 
					
						2009-04-24 19:10:53 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						2503805aff
					 | 
					
						
						
							
							support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums.
						
						
						
						
						
						
					 | 
					
						2009-04-24 19:03:00 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						8a3978e3e1
					 | 
					
						
						
							
							rename BinaryTestPredFlag to BinaryPredFlag
						
						
						
						
						
						
						
						get rid of small annoying arithmetic bugs 
						
						
					 | 
					
						2009-02-09 21:56:40 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						e737599dc4
					 | 
					
						
						
							
							Change to simpler Eval mechanism
						
						
						
						
						
						
						
						- avoid duplicate code
- implement different optimised code. 
						
						
					 | 
					
						2008-12-04 23:33:32 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						e8cbc5034e
					 | 
					
						
						
							
							first patch to isolate GMP code.
						
						
						
						
						
						
					 | 
					
						2008-11-28 15:54:08 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |