From 45c752c00a8befa4041b4dcd8243b0563779c573 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 2 Jul 2017 23:39:38 +1000 Subject: Removed MIT licensed Mathpaqs packages in favour of bindings to GMP --- src/multi_precision_integers-check.ads | 41 ---------------------------------- 1 file changed, 41 deletions(-) delete mode 100644 src/multi_precision_integers-check.ads (limited to 'src/multi_precision_integers-check.ads') diff --git a/src/multi_precision_integers-check.ads b/src/multi_precision_integers-check.ads deleted file mode 100644 index 950a21f..0000000 --- a/src/multi_precision_integers-check.ads +++ /dev/null @@ -1,41 +0,0 @@ - - ------------------------------------------------------------------------------- --- --- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel --- --- Permission is hereby granted, free of charge, to any person obtaining a copy --- of this software and associated documentation files (the "Software"), to deal --- in the Software without restriction, including without limitation the rights --- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell --- copies of the Software, and to permit persons to whom the Software is --- furnished to do so, subject to the following conditions: --- --- The above copyright notice and this permission notice shall be included in all --- copies or substantial portions of the Software. --- --- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR --- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, --- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE --- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER --- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, --- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE --- SOFTWARE. --- ------------------------------------------------------------------------------- - - - - -package Multi_precision_integers.Check is - - -- check integrity - procedure Test (m: Multi_int; test_last: Boolean:= True ); - - -- i3 must be = i1 * i2 - procedure Check_Multiplication (i1, i2,i3: in Multi_int); - - -- i1 must be = i2 * q + r - procedure Check_Div_Rem (i1, i2,q,r: in Multi_int); - -end Multi_precision_integers.Check; -- cgit