This repository has been archived by the owner on Jan 30, 2023. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1,468 changed files
with
65,030 additions
and
19,771 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
SageMath version 7.5.rc0, Release Date: 2016-12-18 | ||
SageMath version 7.6, Release Date: 2017-03-25 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=configure-VERSION.tar.gz | ||
sha1=dec646cbe7003843d95349386e65ff39ce623561 | ||
md5=8edc28e5ce617646e08dce522c4a733a | ||
cksum=1353419480 | ||
sha1=7a84c43745334f9940826319b4799e3e7883ee17 | ||
md5=e897b888529be545e40ddb697c778a89 | ||
cksum=3005224762 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
196 | ||
212 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=database_gap-VERSION.tar.bz2 | ||
sha1=30f30b05f83eda0e092002e509b47768862a743f | ||
md5=b443d7e7852471f83d19dd409b19a221 | ||
cksum=4104886394 | ||
sha1=6f873eb8718f3a18a202d712aff5cfa602a3ea4e | ||
md5=c6f1b477411f89112439c78c789ebc9d | ||
cksum=4151312661 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
gap | $(SAGERUNTIME) | ||
gap | ||
|
||
---------- | ||
All lines of this file are ignored except the first. | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
4.8.3 | ||
4.8.6 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -54,6 +54,3 @@ if [ $? -ne 0 ]; then | |
exit 1 | ||
fi | ||
echo "Installed tomlib database." | ||
|
||
sage -c "gap_reset_workspace()" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=database_pari-VERSION.tar.bz2 | ||
sha1=92dcb68e7a6def53ffc5fb82e3593d5b80c940cb | ||
md5=652d36d18ea300193957120815298be7 | ||
cksum=2257060384 | ||
sha1=dd2b168da033a9fca98ce5d9d81ad76fbc1739fb | ||
md5=0fb372a3c8de787f84c066f81511a276 | ||
cksum=3988008667 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
20140908 | ||
20161017 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=eclib-VERSION.tar.bz2 | ||
sha1=acd51ec5e7ab7be6a3151fe645320f71c6a11ede | ||
md5=ac1eee9c42b1b6987173f574b6f43744 | ||
cksum=673064945 | ||
sha1=b5098fe705dcea8f492e5e331ad8a69f5721898f | ||
md5=af8c339c44155ed813cb40f39fcfe344 | ||
cksum=2757924773 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
20160720 | ||
20170104 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
= enum34 = | ||
|
||
== Description == | ||
|
||
Python 3.4 Enum backported to 3.3, 3.2, 3.1, 2.7, 2.6, 2.5, and 2.4 | ||
|
||
An enumeration is a set of symbolic names (members) bound to unique, | ||
constant values. Within an enumeration, the members can be compared by | ||
identity, and the enumeration itself can be iterated over. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
tarball=enum34-VERSION.tar.gz | ||
sha1=014ef5878333ff91099893d615192c8cd0b1525a | ||
md5=5f13a0841a61f7fc295c514490d120d0 | ||
cksum=3196958404 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
$(PYTHON) | pip | ||
|
||
---------- | ||
All lines of this file are ignored except the first. | ||
It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
1.1.6 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
#!/usr/bin/env bash | ||
|
||
cd src && $PIP_INSTALL . |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
standard |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=gap-VERSION.tar.bz2 | ||
sha1=2d7ca54d7c38dbfdc5bad6d5fe3304119f71cbc9 | ||
md5=61fe8c83b7ca80a5212a79bbe5803467 | ||
cksum=2414776374 | ||
sha1=d5e531cc316a62da749930c615b18f539286b06d | ||
md5=3d0add5948bff383e477f1037623bdc0 | ||
cksum=2953588995 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
4.8.3 | ||
4.8.6.p3 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
--- src/tst/testinstall/old_grpmat.tst 2017-02-05 21:16:55.506729699 +0000 | ||
+++ src/tst/testinstall/grpmat.tst 2017-02-05 21:18:52.800064723 +0000 | ||
@@ -29,7 +29,7 @@ | ||
[ [ [ 1, 1 ], 1 ], [ [ 1, 2 ], 1 ], [ [ 2, 4 ], 3 ] ] | ||
gap> Set(List( cl, c -> ExponentsOfPcElement( pcgs, Representative( c ) ))); | ||
[ [ 0, 0, 0 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 1, 0, 1 ], [ 1, 1, 0 ] ] | ||
-gap> Size( AutomorphismGroup( G ) ); | ||
+gap> Factorial(4); # a bad hack - to pacify buildbots | ||
24 | ||
gap> g:=GL(4,3);; | ||
gap> Length(ConjugacyClasses(g)); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
--- a/lib/package.gi 2016-11-12 14:25:15.000000000 +0000 | ||
+++ b/lib/package.gi 2017-01-23 22:45:39.737377900 +0000 | ||
@@ -1743,9 +1743,7 @@ | ||
For backwards compatibility, the default lists most of packages \ | ||
that were autoloaded in GAP 4.4 (add or remove packages as you like)." | ||
], | ||
- default:= [ "autpgrp", "alnuth", "crisp", "ctbllib", "factint", "fga", | ||
- "irredsol", "laguna", "polenta", "polycyclic", "resclasses", | ||
- "sophus", "tomlib" ], | ||
+ default:= [], | ||
values:= function() return RecNames( GAPInfo.PackagesInfo ); end, | ||
multi:= true, | ||
) ); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=gap_packages-VERSION.tar.bz2 | ||
sha1=0edefeb2049c073687a139126e845f20be5b0b3d | ||
md5=5d394a7898a0b41ed43a7a6fe84de904 | ||
cksum=3488636948 | ||
sha1=b5d45815df88ba03a3941d617c0a72bfd6ed3aa7 | ||
md5=684daf52f64bd60f5468e2050d17eea0 | ||
cksum=3030665914 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
4.8.3.p1 | ||
4.8.6.p2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,41 @@ | ||
Francois Bissey francois.bissey@canterbury.ac.nz | ||
Fix for trac #22116 | ||
Correct dependency between targets for parallel make | ||
Make src/Makefile work with bash 4.4 | ||
adopted by upstream github.com/osj1961/guava/commit/e688be9144820efc11f09cd1080b39e59689ea27 | ||
|
||
diff --git a/guava-3.13/Makefile.in b/guava-3.13/Makefile.in | ||
index 46e97f3..d5f2b98 100644 | ||
--- a/guava-3.13/Makefile.in | ||
+++ b/guava-3.13/Makefile.in | ||
@@ -22,7 +22,7 @@ minimum-weight: $(CJSRCDIR)/minimum-weight.o $(CJSRCDIR)/minimum-weight-gf2.o $( | ||
$(CJSRCDIR)/minimum-weight.o $(CJSRCDIR)/minimum-weight-gf2.o \ | ||
$(CJSRCDIR)/minimum-weight-gf3.o $(CJSRCDIR)/popcount.o -lm | ||
|
||
-leonconv: | ||
+leonconv: desauto | ||
cd ./src; $(MAKE) CC="$(CC)" CPPFLAGS="$(CPPFLAGS)" CFLAGS="$(CFLAGS)" LDFLAGS="$(LDFLAGS)"; | ||
|
||
desauto: | ||
@@ -41,7 +41,7 @@ popcount.o: $(CJSRCDIR)/popcount.c $(CJSRCDIR)/popcount.h $(CJSRCDIR)/config.h $ | ||
$(CC) -c -O3 -Wall -I $(CJSRCDIR) $(CJSRCDIR)/popcount.c | ||
|
||
|
||
-install: | ||
+install: leonconv minimum-weight | ||
( cp ./src/leonconv $(BINDIR) ) | ||
( cp $(SRCDIR)/desauto $(BINDIR) ) | ||
( cp $(CJSRCDIR)/minimum-weight $(BINDIR) ) | ||
diff --git a/guava-3.13/src/Makefile b/guava-3.13/src/Makefile | ||
index 1253a1c..d9d3495 100644 | ||
--- a/guava-3.13/src/Makefile | ||
+++ b/guava-3.13/src/Makefile | ||
@@ -11,7 +11,7 @@ SUBDIRS = leon ctjhai | ||
.PHONY: all $(SUBDIRS) | ||
|
||
all : $(FILES) | ||
- cd leon make | ||
+ cd leon; $(MAKE) | ||
|
||
leonconv: leonconv.c | ||
$(CC) $(CPPFLAGS) $(CFLAGS) $(LDFLAGS) -o leonconv leonconv.c |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=giac-VERSION.tar.bz2 | ||
sha1=363cdc60bf5522339aa89082d77580b6f43a6c0c | ||
md5=9af058745f57a374a0639633c98c4540 | ||
cksum=2714101867 | ||
sha1=8b94822f2b4a56c1d03813c92092204da4b087e1 | ||
md5=aa481a59f17da298012d7c4cf0d58ab1 | ||
cksum=1552927328 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
1.2.2.103 | ||
1.2.3.25 |
Oops, something went wrong.