[go: up one dir, main page]

Menu

/trunk/src/aldor Commit Log


Commit Date  
[r2168] by hemmecke

add multivariate "easy types"

Thanks Peter Broadbery

A type is called "easy" if all of its arguments are only required to be
of type Type. Before, we only counted univariate types. Now, also
multivariate type constructors are considered. This results in smaller
cliques.

2017-01-24 22:33:26 Tree
[r2075] by hemmecke

add dependencies for files coming from Aldor source tree

2016-08-21 20:28:42 Tree
[r2074] by hemmecke

generalize Matrix in Aldor interface

2016-08-21 20:28:29 Tree
[r2029] by whebisch

Fix build problems due to .fricas.input

2016-07-03 17:37:44 Tree
[r1946] by hemmecke

fix aldor compilation

After generalization of the coefficient domain of polynomials from
Ring to Join(SemiRng, AbelianMonoid)
(r1933 "Generalize polynomials to semirings", 2015-08-21 02:41:11),
also the initlist must be generalized.

2015-09-15 19:27:03 Tree
[r1813] by hemmecke

fix location of git mirror of svn repository

2014-10-15 20:45:38 Tree
[r1789] by hemmecke

use ${MKDIR_P} instead of 'mkdir -p'

2014-08-03 22:47:06 Tree
[r1692] by hemmecke

bugfix: comma --> semicolon

2014-03-19 06:57:16 Tree
[r1679] by hemmecke

sync with aldor version

2014-02-07 17:37:08 Tree
[r1667] by hemmecke

remove trailing whitespace, trailing empty lines, expand tabs

remove trailing whitespace
find . -type f -a ! -regex '\./\.git/.*' -a ! -name '*.ps' -a ! -name '*.daase' -a ! -name '*.icns' -exec sed -i 's/[ \t]*$//' {} \;

remove trailing empty lines
find . -type f -a ! -regex '\./\.git/.*' -a ! -name '*.ps' -a ! -name '*.daase' -a ! -name '*.icns' -exec sed -i -e :a -e '/^\n*$/{$d;N;};/\n$/ba' {} \;

expand tabs to spaces
for f in $(grep -lR ' ' *|grep -v Make|grep -v config|fgrep -v '.as'|grep -v '.ht$'|grep -v 'diff$'|grep -v 'icns$'|grep -v rules|grep -v ChangeLog); do expand $f > $f.x; mv $f.x $f; done

2013-11-16 19:31:39 Tree
Older >