Skip to content

Commit

Permalink
Tabs to spaces in more files
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Jul 4, 2024
1 parent fc6974a commit f8741e3
Show file tree
Hide file tree
Showing 21 changed files with 165 additions and 165 deletions.
4 changes: 2 additions & 2 deletions README_AUTHORS
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,8 @@ To rebuild the documentation:
>gmake clean (NOTE: this deletes files)
>gmake workspace (for faster running of exercises)
** enter the ``export GAP="..."'' line shown to the shell ** (for use with
bash, *csh users modify this line, it might also be added to your
.profile)
bash, *csh users modify this line, it might also be added to your
.profile)
>gmake doc

To rerun individual examples:
Expand Down
4 changes: 2 additions & 2 deletions TODO
Original file line number Diff line number Diff line change
Expand Up @@ -81,8 +81,8 @@ LONG TERM:
- reduce PTS routines
- merge SGrobner variants (some progress made)
- SGrobnerLoop: ObsT(all) sorts todo, move this to the end of the loop in
SGrobnerloop, combine this with a fase IIId that reduces todo without
costly removing/inserting but by using a new StrongNormalForm variant
SGrobnerloop, combine this with a fase IIId that reduces todo without
costly removing/inserting but by using a new StrongNormalForm variant
- merge ReducePol (some progress made)
- tree merge + trace inclusion in "all"
- 3-HEAP
Expand Down
12 changes: 6 additions & 6 deletions doc/LGPL
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
GNU LESSER GENERAL PUBLIC LICENSE
Version 2.1, February 1999
GNU LESSER GENERAL PUBLIC LICENSE
Version 2.1, February 1999

Copyright (C) 1991, 1999 Free Software Foundation, Inc.
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Expand All @@ -10,7 +10,7 @@
as the successor of the GNU Library Public License, version 2, hence
the version number 2.1.]

Preamble
Preamble

The licenses for most software are designed to take away your
freedom to share and change it. By contrast, the GNU General Public
Expand Down Expand Up @@ -112,7 +112,7 @@ modification follow. Pay close attention to the difference between a
former contains code derived from the library, whereas the latter must
be combined with the library in order to run.

GNU LESSER GENERAL PUBLIC LICENSE
GNU LESSER GENERAL PUBLIC LICENSE
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION

0. This License Agreement applies to any software library or other
Expand Down Expand Up @@ -432,7 +432,7 @@ decision will be guided by the two goals of preserving the free status
of all derivatives of our free software and of promoting the sharing
and reuse of software generally.

NO WARRANTY
NO WARRANTY

15. BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO
WARRANTY FOR THE LIBRARY, TO THE EXTENT PERMITTED BY APPLICABLE LAW.
Expand All @@ -455,7 +455,7 @@ FAILURE OF THE LIBRARY TO OPERATE WITH ANY OTHER SOFTWARE), EVEN IF
SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
DAMAGES.

END OF TERMS AND CONDITIONS
END OF TERMS AND CONDITIONS

How to Apply These Terms to Your New Libraries

Expand Down
2 changes: 1 addition & 1 deletion doc/examples/makedepend
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,6 @@
echo EXAMPLESXML=
for i in *.g
do
echo EXAMPLESXML+= "$i"|sed -e 's/.g$/.xml/'
echo EXAMPLESXML+= "$i"|sed -e 's/.g$/.xml/'
done
} >.depend
152 changes: 76 additions & 76 deletions doc/gbnp_doc.bib
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
@article{TCS::Mora1994:131,
title = "An introduction to commutative and noncommutative
{G}röbner bases",
author = "Teo Mora",
journal = "Theoretical Computer Science",
pages = "131--173",
month = "Nov",
year = "1994",
volume = "134",
number = "1",
title = "An introduction to commutative and noncommutative
{G}röbner bases",
author = "Teo Mora",
journal = "Theoretical Computer Science",
pages = "131--173",
month = "Nov",
year = "1994",
volume = "134",
number = "1",
}

@article{MR95i:13027,
Expand All @@ -31,86 +31,86 @@ @article{MR95i:13027


@Inproceedings{Green1997,
author = "Edward L. Green",
title = "Noncommutative {G}röbner bases and projective resolutions",
booktitle = "Computational Methods for Representations of Groups and Algebras",
year = "1999",
publisher = "Birkhäuser",
pages = "29-60",
note = "(Essen 1997)",
author = "Edward L. Green",
title = "Noncommutative {G}röbner bases and projective resolutions",
booktitle = "Computational Methods for Representations of Groups and Algebras",
year = "1999",
publisher = "Birkhäuser",
pages = "29-60",
note = "(Essen 1997)",

}

@Misc{Knopper2004,
author = "Jan Willem Knopper",
title = "{GBNP} and vector enumeration",
howpublished = "Report",
organization = "{TU}/e",
year = "2004",
url = "http://mathdox.org/grobner/knopper.pdf",
note = "Eindhoven",
author = "Jan Willem Knopper",
title = "{GBNP} and vector enumeration",
howpublished = "Report",
organization = "{TU}/e",
year = "2004",
url = "http://mathdox.org/grobner/knopper.pdf",
note = "Eindhoven",
}


@Misc{Krook2003,
author = "Chris Krook",
title = "Dimensionality of quotient algebras",
howpublished = "Report",
organization = "TU/e",
year = "2003",
url = "http://mathdox.org/grobner/dqa.pdf",
note = "Eindhoven",
author = "Chris Krook",
title = "Dimensionality of quotient algebras",
howpublished = "Report",
organization = "TU/e",
year = "2003",
url = "http://mathdox.org/grobner/dqa.pdf",
note = "Eindhoven",
}

@Misc{CohenGijsbersEtAl2007,
author = "Arjeh M. Cohen",
title = "Non-commutative polynomial computations",
howpublished = "Report",
organization = "TU/e",
year = "2007",
url = "http://mathdox.org/grobner/gbnp.pdf",
note = "Eindhoven",
author = "Arjeh M. Cohen",
title = "Non-commutative polynomial computations",
howpublished = "Report",
organization = "TU/e",
year = "2007",
url = "http://mathdox.org/grobner/gbnp.pdf",
note = "Eindhoven",
}

@Book{CohenCuypersSterk1999,
author = "Arjeh M. Cohen and Hans Cuypers and Hans Sterk",
title = "Some Tapas of Computer Algebra",
publisher = "Springer-Verlag, Heidelberg",
series = "Algorithms and Computation in Mathematics",
volume = "4",
year = "1999",
author = "Arjeh M. Cohen and Hans Cuypers and Hans Sterk",
title = "Some Tapas of Computer Algebra",
publisher = "Springer-Verlag, Heidelberg",
series = "Algorithms and Computation in Mathematics",
volume = "4",
year = "1999",
}

@article{MR93c:20032,
AUTHOR = {Linton, S. A.},
TITLE = {Constructing matrix representations of finitely presented groups},
NOTE = {Computational group theory, Part 2},
JOURNAL = {J. Symbolic Comput.},
FJOURNAL = {Journal of Symbolic Computation},
VOLUME = {12},
YEAR = {1991},
NUMBER = {4-5},
PAGES = {427--438},
ISSN = {0747-7171},
MRCLASS = {20C40},
MRNUMBER = {93c:20032},
MRREVR = {Gerhard Hiss},
AUTHOR = {Linton, S. A.},
TITLE = {Constructing matrix representations of finitely presented groups},
NOTE = {Computational group theory, Part 2},
JOURNAL = {J. Symbolic Comput.},
FJOURNAL = {Journal of Symbolic Computation},
VOLUME = {12},
YEAR = {1991},
NUMBER = {4-5},
PAGES = {427--438},
ISSN = {0747-7171},
MRCLASS = {20C40},
MRNUMBER = {93c:20032},
MRREVR = {Gerhard Hiss},
}

@article{MR94k:20022,
AUTHOR = {Linton, Steve A.},
TITLE = {On vector enumeration},
NOTE = {Computational linear algebra in algebraic and related problems (Essen, 1992)},
JOURNAL = {Linear Algebra Appl.},
FJOURNAL = {Linear Algebra and its Applications},
VOLUME = {192},
YEAR = {1993},
PAGES = {235--248},
ISSN = {0024-3795},
CODEN = {LAAPAW},
MRCLASS = {20C40 (16-04 20-04 68Q20)},
MRNUMBER = {94k:20022},
MRREVR = {Herbert Pahlings},
AUTHOR = {Linton, Steve A.},
TITLE = {On vector enumeration},
NOTE = {Computational linear algebra in algebraic and related problems (Essen, 1992)},
JOURNAL = {Linear Algebra Appl.},
FJOURNAL = {Linear Algebra and its Applications},
VOLUME = {192},
YEAR = {1993},
PAGES = {235--248},
ISSN = {0024-3795},
CODEN = {LAAPAW},
MRCLASS = {20C40 (16-04 20-04 68Q20)},
MRNUMBER = {94k:20022},
MRREVR = {Herbert Pahlings},
}

@incollection{MR1360005,
Expand Down Expand Up @@ -204,19 +204,19 @@ @article{MR2090062

@MISC{GAPDoc,
author = "Frank Lübeck and Max Neunhöffer",
title = "{GAPD}oc - a {GAP} package, version 0.99999",
year = "2006",
month = "Jan",
title = "{GAPD}oc - a {GAP} package, version 0.99999",
year = "2006",
month = "Jan",
url = "http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/",
}

@MISC{NMODoc,
author = "Randall Cone",
title = "{NMOD}oc - Documentation on the NMO package, version 1.0",
year = "2010",
month = "Jan",
title = "{NMOD}oc - Documentation on the NMO package, version 1.0",
year = "2010",
month = "Jan",
url = "http://www.mathdox.org/grobner/nmo/manual.pdf",
howpublished = "Report (the package is provided with GBNP from Version 1.0 on)",
howpublished = "Report (the package is provided with GBNP from Version 1.0 on)",
}


Expand Down
2 changes: 1 addition & 1 deletion etc/copyrightcomment
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ cat <<EOF
EOF

while read line; do
echo "# ${line}"
echo "# ${line}"
done;

cat <<EOF
Expand Down
8 changes: 4 additions & 4 deletions etc/gapscript
Original file line number Diff line number Diff line change
Expand Up @@ -20,15 +20,15 @@

if [ -z "$1" ] || ! [ -f "$1.g" ]
then
echo "Usage $0 <file>"
echo "Where file does not contain the extension (.g or .gi[id])"
exit 1;
echo "Usage $0 <file>"
echo "Where file does not contain the extension (.g or .gi[id])"
exit 1;
fi

#checks for $GAP
if [ -z "$GAP" ]
then
GAP=gap
GAP=gap
fi

# force UTF-8 output
Expand Down
18 changes: 9 additions & 9 deletions etc/makedepend
Original file line number Diff line number Diff line change
Expand Up @@ -21,38 +21,38 @@
#checks for $GAP
if [ -z "$GAP" ]
then
GAP=gap
GAP=gap
fi

EXAMPLES=`cd ./doc/examples &&
for i in bound-test*.g example*.g functions.g
do
printf "%s" " $i"
done | sed -e 's/.g//g'`
for i in bound-test*.g example*.g functions.g
do
printf "%s" " $i"
done | sed -e 's/.g//g'`

#echo "EXAMPLES=$EXAMPLES"
printf "EXAMPLESG="
for e in $EXAMPLES
do
printf "%s" " ${e}.g"
printf "%s" " ${e}.g"
done
echo
printf "EXAMPLESXML="
for e in $EXAMPLES
do
printf "%s" " ${e}.xml"
printf "%s" " ${e}.xml"
done
echo
printf "TESTS="
for e in $EXAMPLES
do
printf "%s" " ${e}.tst"
printf "%s" " ${e}.tst"
done |sed -e 's/example/test/g' -e 's/functions/test-functions/g' -e 's/bound-test/test-bound/g'
echo
printf "TESTSG="
for e in $EXAMPLES
do
printf "%s" " ${e}.g"
printf "%s" " ${e}.g"
done |sed -e 's/example/test/g' -e 's/functions/test-functions/g' -e 's/bound-test/test-bound/g'
echo
echo "GAP=${GAP} -L $(/bin/pwd)/build/gbnp.wks -l \\;$(/bin/pwd)/build"
Expand Down
8 changes: 4 additions & 4 deletions etc/maketiming
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

if [ -z "$GAP" ]
then
GAP=gap
GAP=gap
fi


Expand All @@ -11,7 +11,7 @@ OS_INFO="$(uname -s) ($(uname -vr))"
GAP_INFO=$($GAP -h 2>&1 |grep Version|sed -e 's/.*Version //')

cat <<-EOF
Timing results are obtained on an $CPU_INFO processor running
$OS_INFO
and using GAP $GAP_INFO.
Timing results are obtained on an $CPU_INFO processor running
$OS_INFO
and using GAP $GAP_INFO.
EOF
6 changes: 3 additions & 3 deletions etc/testscript
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@

if [ -z "$1" ] || ! [ -f "$1.txt" ]
then
echo "Usage $0 <file>"
echo "Where file does not contain the extension (.g or .gi[id])"
exit 1;
echo "Usage $0 <file>"
echo "Where file does not contain the extension (.g or .gi[id])"
exit 1;
fi

echo "gap> START_TEST(\"GBNP $1\");" >"$1".tst
Expand Down
2 changes: 1 addition & 1 deletion etc/workspace
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ export LANG
#checks for $GAP
if [ -z "$GAP" ]
then
GAP=gap
GAP=gap
fi

mkdir -p build/pkg/gbnp
Expand Down
Loading

0 comments on commit f8741e3

Please sign in to comment.