forked from latte-int/latte
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ChangeLog
8029 lines (6053 loc) · 341 KB
/
ChangeLog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
To update this ChangeLog, use `make update-changelog' and then
copy (and edit) entries from ChangeLog.svn2cl
*** Newer changes - see https://github.com/latte-int/latte ***
2015-04-21 Brandon Dutra <[email protected]>
* updated the exception class and use
Version number 1.7.3
2014-01-15 Matthias Koeppe <[email protected]>
* compile fix with current NTL
2014-01-10 Matthias Koeppe <[email protected]>
* Fix compiler warnings with XCode 5.0.2, Apple LLVM version 5.0 (clang-500.2.79).
configure.ac: Bump version number
2013-12-23 Brandon Dutra <[email protected]>
configure.ac: Bump version number to 1.7
Added the top-ehrhart-knapsack code
Updated the manual
2013-09-07 Matthias Koeppe <[email protected]>
Version 1.6
2013-09-05 21:07 Matthias Koeppe <[email protected]>
* .svn2cl-authors, Makefile.am: New maintainer target
update-changelog.
2013-09-05 21:01 Matthias Koeppe <[email protected]>
* doc/Makefile.am, doc/amsabbrvurl.bst, doc/bibliography.bib,
doc/deloera-hemmecke-koeppe-book.tex,
doc/deloera-hemmecke-koeppe-cover.jpg, doc/manual.pdf,
doc/manual.tex: Update manual, add book ad
2013-08-30 17:15 Matthias Koeppe <[email protected]>
* code/latte/interpolation/PolynomialInterpolation.cpp: From Jerry
James:
I just happened to spot a compiler warning as it went by:
interpolation/PolynomialInterpolation.cpp: In member function
'void PolynomialInterpolation::GE()':
interpolation/PolynomialInterpolation.cpp:116:59: warning: left
operand of comma operator has no effect [-Wunused-value]
while( currentRow < rowSize && matrix[currentRow, currentColumn]
== 0)
It looks like that line should read:
while( currentRow < rowSize && matrix[currentRow][currentColumn]
== 0)
2013-08-28 21:58 Matthias Koeppe <[email protected]>
* configure.ac: Bump version number.
2013-08-28 21:57 Matthias Koeppe <[email protected]>
* code/latte/Makefile.am: Distclean some fallout from `make check',
so that `make distcheck'
works without error.
2013-08-28 21:57 Matthias Koeppe <[email protected]>
* code/test-suite/Makefile.am: New installcheck-local.
2013-08-28 21:57 Matthias Koeppe <[email protected]>
* code/test-suite/test-default.sh, code/test-suite/test.pl.in: Make
test script more robust: By default, don't copy the binary.
2013-08-21 02:08 Matthias Koeppe <[email protected]>
* configure.ac: Bump version number
2013-08-21 01:05 Matthias Koeppe <[email protected]>
* code/latte/Makefile.am: Fix --enable-shared --enable-relocatable
build on Mac OS X.
2013-08-21 00:16 Matthias Koeppe <[email protected]>
* code/gnulib/strerror-override.c, code/gnulib/strerror-override.h,
install-reloc: Make sure that strerror-override.c compiles, no
matter what.
Patch from Dima Pasechnik.
This fixes build on Solaris (and would also on Cygwin -- but we
have
already worked around that in a different way).
2013-08-21 00:01 Matthias Koeppe <[email protected]>
* code/test-suite/test.pl.in: Don't use `uname' to limit CPU time
-- to improve portability to
Cygwin and to make `make check' deterministic.
2013-08-20 23:59 Matthias Koeppe <[email protected]>
* code/latte/dual.cpp, code/latte/genFunction/maple.cpp: Header
file fixes for Cygwin.
2013-08-20 03:34 Matthias Koeppe <[email protected]>
* configure.ac:
2013-08-19 23:29 Matthias Koeppe <[email protected]>
* code/latte/normalize/Makefile.am: Fix last change.
2013-08-19 23:28 Matthias Koeppe <[email protected]>
* NEWS: *** empty log message ***
2013-08-19 23:22 Matthias Koeppe <[email protected]>
* code/latte/normalize/normalize.cpp: Fix char* warning
2013-08-19 22:53 Matthias Koeppe <[email protected]>
* code/latte/latte_system.h: Add some namespace prefixes
2013-08-19 22:53 Matthias Koeppe <[email protected]>
* code/latte/normalize/Makefile.am: Fix include paths
2013-08-19 22:52 Matthias Koeppe <[email protected]>
* code/latte/Residue.cpp, code/latte/count.cpp,
code/latte/dual.cpp, code/latte/ehrhart.cpp,
code/latte/genFunction/maple.cpp, code/latte/maximize.cpp,
code/latte/minimize.cpp, code/latte/valuation/valuation.cpp,
code/latte/vertices/cdd.cpp: Change pathname buffer lengths from
127 to PATH_MAX,
command line buffer lengths from 127 to 10000.
2013-08-19 22:32 Matthias Koeppe <[email protected]>
* code/latte/normalize/normaliz_wrapper.cpp: Use shell_quote to fix
some whitespace-in-filenames problems
2013-08-19 21:27 Matthias Koeppe <[email protected]>
* code/latte/convertCDD_ine_to_latte.cpp: get rid of DOS
lineendings
2013-08-19 21:23 Matthias Koeppe <[email protected]>
* code/latte/count.cpp, code/latte/ehrhart.cpp,
code/latte/maximize.cpp, code/latte/minimize.cpp: Get rid of old
clean up "rm -f" commands that tried to delete
FILENAME.SOME_EXTENSION. These files are no longer created
(unless I
am mistaken).
2013-08-19 21:14 Matthias Koeppe <[email protected]>
* code/latte/barvinok/Triangulation.cpp: Quote the tar archive
filename in "trisave" mode to protect against
whitespace in filename. This code remains broken in many other
ways,
however. For example, Cone_Index is not updated in most modes of
operation.
2013-08-19 20:57 Matthias Koeppe <[email protected]>
* code/latte/binarySearchIP.cpp: Repair "latte-maximize bbs" by
invoking `count' from the installation
directory, rather than the current directory.
2013-08-19 20:55 Matthias Koeppe <[email protected]>
* code/latte/latte_relocatable.cpp, code/latte/latte_relocatable.h:
(relocated_pathname): Provide a string->string variant.
2013-08-19 01:32 Matthias Koeppe <[email protected]>
* code/latte/count.cpp, code/latte/ehrhart.cpp,
code/latte/latte_system.cpp, code/latte/latte_system.h,
code/latte/maximize.cpp, code/latte/minimize.cpp,
code/latte/valuation/valuation.cpp: (rename_with_error_check):
New function, invokes rename(2) system
call.
Use it instead of calling the mv(1) shell command. This fixes
some
problems with whitespace in filenames.
2013-08-16 04:09 Matthias Koeppe <[email protected]>
* code/latte/CheckEmpty.cpp, code/latte/IntegralHull.cpp,
code/latte/ReadingFile.cpp, code/latte/ResSingle.cpp,
code/latte/RudyResNTL.cpp, code/latte/barvinok/Triangulation.cpp,
code/latte/binarySearchIP.cpp,
code/latte/buildPolytopes/BuildPolytope.cpp,
code/latte/count.cpp, code/latte/dual.cpp,
code/latte/latte_system.cpp, code/latte/latte_system.h,
code/latte/top-ehrhart/TopEhrhart.cpp,
code/latte/vertices/cdd.cpp: New function shell_quote. Use it to
quote, when necessary (for
example, for directory names with spaces), program names.
2013-08-15 23:33 Matthias Koeppe <[email protected]>
* code/latte/buildPolytopes/BuildPolytope.cpp: Add error checking
for shell commands invoked with system.
2013-08-15 23:29 Matthias Koeppe <[email protected]>
* code/latte/buildPolytopes/BuildPolytope.cpp: fix dos lineendings
2013-08-15 02:58 Matthias Koeppe <[email protected]>
* AUTHORS, README: Update
2013-08-15 02:58 Matthias Koeppe <[email protected]>
* configure.ac: Bump version number
2013-08-15 02:57 Matthias Koeppe <[email protected]>
* manual_v1.6.pdf: Remove duplicate manual
2013-08-15 02:10 Matthias Koeppe <[email protected]>
* m4/gnulib/relocatable.m4: Don't build relocation wrappers on
Cygwin -- not necessary.
2013-08-14 21:24 Matthias Koeppe <[email protected]>
* install-reloc: add comment
2013-08-13 17:02 Matthias Koeppe <[email protected]>
* configure.ac, doc, doc/Makefile.am: Add manual tex sources to
distribution
2013-08-13 17:02 Matthias Koeppe <[email protected]>
* Makefile.am: Add manual tex sources to distribution
2013-08-08 17:00 Matthias Koeppe <[email protected]>
* code/latte/triangulation/RegularTriangulationWithCddlib.cpp: Use
less alerting language
2013-08-08 06:54 Matthias Koeppe <[email protected]>
* code/latte/integration/testIntegration.sh.in,
code/latte/integration/testMultiply.sh.in: Adjust to new default
for maple binary
2013-08-08 06:17 Matthias Koeppe <[email protected]>
* configure.ac: *** empty log message ***
2013-08-08 06:12 Matthias Koeppe <[email protected]>
* code/latte/valuation/valuation.cpp: Use the same default for
triangulation (4ti2 if available; otherwise cdd) as count does.
2013-08-08 06:11 Matthias Koeppe <[email protected]>
* code/latte/valuation/PolytopeValuation.cpp: Fix typos in comments
and messages
2013-08-08 06:11 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/TopEhrhart.cpp: Support non-simple
polytopes by triangulating in the dual space.
2013-08-08 06:10 Matthias Koeppe <[email protected]>
* configure.ac: If Maple not found, default to "maple"
2013-08-08 06:10 Matthias Koeppe <[email protected]>
* AUTHORS, README, doc/bibliography.bib, doc/manual.pdf,
doc/manual.tex: Documentation update
2013-08-07 01:38 Matthias Koeppe <[email protected]>
* code/latte/preprocess.cpp: remove debugging output
2013-08-06 22:07 Matthias Koeppe <[email protected]>
* code/latte/triangulation/RegularTriangulationWith4ti2.cpp: Use
less alerting language
2013-08-06 21:57 Matthias Koeppe <[email protected]>
* code/latte/triangulation/triangulate.cpp: Remove debugging output
2013-08-03 00:49 Matthias Koeppe <[email protected]>
* NEWS, configure.ac:
2013-08-02 21:07 Matthias Koeppe <[email protected]>
* code/latte/Grobner.cpp, code/latte/IntegralHull.cpp,
code/latte/ReadingFile.cpp, code/latte/RudyResNTL.cpp,
code/latte/barvinok/Triangulation.cpp,
code/latte/barvinok/Triangulation.h,
code/latte/barvinok/barvinok.h, code/latte/barvinok/dec.cpp,
code/latte/barvinok/dec.h,
code/latte/buildPolytopes/BuildGraphPolytope.cpp,
code/latte/buildPolytopes/BuildPolytope.cpp,
code/latte/buildPolytopes/BuildRandomPolynomials.cpp,
code/latte/buildPolytopes/GraphMaker.cpp,
code/latte/genFunction/maple.cpp,
code/latte/integration/PolyRep.cpp,
code/latte/integration/PolyTrie.cpp,
code/latte/integration/newIntegration.cpp,
code/latte/normalize/normalize.cpp, code/latte/rational.cpp,
code/latte/triangulation/RegularTriangulationWithCdd.cpp,
code/latte/valuation/valuation.cpp, code/latte/vertices/cdd.cpp:
Fix compiler warnings.
Patch from Jerry James <[email protected]>
2013-08-02 20:31 Matthias Koeppe <[email protected]>
* .:
2013-08-02 20:29 Matthias Koeppe <[email protected]>
* doc, m4:
2013-08-02 20:12 Matthias Koeppe <[email protected]>
* doc/manual.pdf:
2013-08-02 20:12 Matthias Koeppe <[email protected]>
* autogen.sh, code/latte/Makefile.am,
code/latte/normalize/Makefile.am, code/test-suite/Makefile.am,
configure.ac: build fixes
2013-08-02 06:18 Matthias Koeppe <[email protected]>
* install-reloc: Link some more gnulib files to the reloc-wrapper.
Fixes build problem on MacOS.
2013-08-02 04:43 Matthias Koeppe <[email protected]>
* doc/manual.tex: minor edits
2013-07-31 19:32 Matthias Koeppe <[email protected]>
* code/latte/countDriver.cpp: Disable debug code
2013-07-31 19:24 Matthias Koeppe <[email protected]>
* distro: Move distro directory next to trunk in svn repository.
2013-07-31 19:21 Matthias Koeppe <[email protected]>
* config.libpath: Update gnulib from git
2013-07-31 19:20 Matthias Koeppe <[email protected]>
* code/gnulib/Makefile.am, code/gnulib/alloca.in.h,
code/gnulib/allocator.h, code/gnulib/areadlink.c,
code/gnulib/areadlink.h, code/gnulib/c-ctype.c,
code/gnulib/c-ctype.h, code/gnulib/canonicalize-lgpl.c,
code/gnulib/careadlinkat.c, code/gnulib/careadlinkat.h,
code/gnulib/dosname.h, code/gnulib/errno.in.h,
code/gnulib/error.c, code/gnulib/error.h, code/gnulib/exitfail.c,
code/gnulib/exitfail.h, code/gnulib/gettext.h,
code/gnulib/intprops.h, code/gnulib/lstat.c,
code/gnulib/malloca.c, code/gnulib/malloca.h,
code/gnulib/msvc-inval.c, code/gnulib/msvc-inval.h,
code/gnulib/msvc-nothrow.c, code/gnulib/msvc-nothrow.h,
code/gnulib/pathmax.h, code/gnulib/progname.c,
code/gnulib/progname.h, code/gnulib/progreloc.c,
code/gnulib/readlink.c, code/gnulib/relocatable.c,
code/gnulib/relocatable.h, code/gnulib/relocwrapper.c,
code/gnulib/setenv.c, code/gnulib/stat.c,
code/gnulib/stdbool.in.h, code/gnulib/stddef.in.h,
code/gnulib/stdint.in.h, code/gnulib/stdlib.in.h,
code/gnulib/strerror-override.c, code/gnulib/strerror-override.h,
code/gnulib/strerror.c, code/gnulib/string.in.h,
code/gnulib/sys_stat.in.h, code/gnulib/sys_types.in.h,
code/gnulib/time.in.h, code/gnulib/unistd.c,
code/gnulib/unistd.in.h, code/gnulib/verify.h,
code/gnulib/xalloc-die.c, code/gnulib/xalloc-oversized.h,
code/gnulib/xalloc.h, code/gnulib/xmalloc.c,
code/gnulib/xreadlink.c, code/gnulib/xreadlink.h,
m4/gnulib/00gnulib.m4, m4/gnulib/alloca.m4,
m4/gnulib/canonicalize.m4, m4/gnulib/double-slash-root.m4,
m4/gnulib/eealloc.m4, m4/gnulib/environ.m4, m4/gnulib/errno_h.m4,
m4/gnulib/error.m4, m4/gnulib/extensions.m4,
m4/gnulib/extern-inline.m4, m4/gnulib/gnulib-cache.m4,
m4/gnulib/gnulib-common.m4, m4/gnulib/gnulib-comp.m4,
m4/gnulib/gnulib-tool.m4, m4/gnulib/include_next.m4,
m4/gnulib/largefile.m4, m4/gnulib/lib-ld.m4,
m4/gnulib/longlong.m4, m4/gnulib/lstat.m4, m4/gnulib/malloca.m4,
m4/gnulib/msvc-inval.m4, m4/gnulib/msvc-nothrow.m4,
m4/gnulib/multiarch.m4, m4/gnulib/nocrash.m4, m4/gnulib/off_t.m4,
m4/gnulib/onceonly.m4, m4/gnulib/pathmax.m4,
m4/gnulib/readlink.m4, m4/gnulib/relocatable-lib.m4,
m4/gnulib/relocatable.m4, m4/gnulib/setenv.m4,
m4/gnulib/ssize_t.m4, m4/gnulib/stat.m4, m4/gnulib/stdbool.m4,
m4/gnulib/stddef_h.m4, m4/gnulib/stdint.m4,
m4/gnulib/stdlib_h.m4, m4/gnulib/strerror.m4,
m4/gnulib/string_h.m4, m4/gnulib/sys_socket_h.m4,
m4/gnulib/sys_stat_h.m4, m4/gnulib/sys_types_h.m4,
m4/gnulib/time_h.m4, m4/gnulib/unistd_h.m4,
m4/gnulib/warn-on-use.m4, m4/gnulib/wchar_t.m4,
m4/gnulib/xalloc.m4, reloc-ldflags, snippet, snippet/_Noreturn.h,
snippet/arg-nonnull.h, snippet/c++defs.h, snippet/warn-on-use.h:
Update gnulib from git
2013-06-07 21:42 Brandon Dutra <[email protected]>
* code/latte/top-knapsack, code/latte/top-knapsack/Driver.cpp,
code/latte/top-knapsack/PeriodicFunction.cpp,
code/latte/top-knapsack/PeriodicFunction.h,
code/latte/top-knapsack/TopKnapsack.cpp,
code/latte/top-knapsack/TopKnapsack.h,
code/latte/top-knapsack/class.cpp: saving work: top-knapsack
files.
2012-03-23 16:47 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/TopEhrhart.cpp: fixed the top-ehrhart
"save to -1 file" issue
2012-03-23 15:56 Brandon Dutra <[email protected]>
* code/latte/Makefile.am, code/latte/sqlite/IntegrationDB.cpp,
code/latte/sqlite/IntegrationDB.h,
code/latte/sqlite/SqliteDB.cpp, code/latte/sqlite/SqliteDB.h,
code/latte/sqlite/ValuationDBStatistics.h,
code/latte/sqlite/VolumeDB.cpp, code/latte/sqlite/VolumeDB.h,
code/latte/valuation/countLinearFormsFromPolynomialDriver.cpp,
code/latte/valuation/test/printDatabaseTimeTablesDriver.cpp,
code/latte/valuation/test/runIntegrationTestFromDatabaseDriver.cpp,
code/latte/valuation/test/runVolumeTestFromDatabaseDriver.cpp,
code/latte/valuation/valuation.cpp: updated the integrationDB
files to remove the number of queries and to compute the standard
deviation (sqlite3 cannot compute the SD).
2012-01-23 04:56 Matthias Koeppe <[email protected]>
* code/latte/normalize/Makefile.am: *** empty log message ***
2012-01-23 04:55 Matthias Koeppe <[email protected]>
* code/latte/normalize/Makefile.am: *** empty log message ***
2012-01-23 04:15 Matthias Koeppe <[email protected]>
* arg-nonnull.h, c++defs.h, code/gnulib/Makefile.am,
code/gnulib/alloca.in.h, code/gnulib/allocator.c,
code/gnulib/allocator.h, code/gnulib/areadlink.c,
code/gnulib/areadlink.h, code/gnulib/c-ctype.c,
code/gnulib/c-ctype.h, code/gnulib/canonicalize-lgpl.c,
code/gnulib/careadlinkat.c, code/gnulib/careadlinkat.h,
code/gnulib/dosname.h, code/gnulib/errno.in.h,
code/gnulib/error.c, code/gnulib/error.h, code/gnulib/exitfail.c,
code/gnulib/exitfail.h, code/gnulib/gettext.h,
code/gnulib/intprops.h, code/gnulib/lstat.c,
code/gnulib/malloca.c, code/gnulib/malloca.h,
code/gnulib/pathmax.h, code/gnulib/progname.c,
code/gnulib/progname.h, code/gnulib/progreloc.c,
code/gnulib/readlink.c, code/gnulib/relocatable.c,
code/gnulib/relocatable.h, code/gnulib/relocwrapper.c,
code/gnulib/setenv.c, code/gnulib/stat.c,
code/gnulib/stdbool.in.h, code/gnulib/stddef.in.h,
code/gnulib/stdlib.in.h, code/gnulib/strerror.c,
code/gnulib/string.in.h, code/gnulib/sys_stat.in.h,
code/gnulib/time.in.h, code/gnulib/unistd.in.h,
code/gnulib/verify.h, code/gnulib/xalloc-die.c,
code/gnulib/xalloc-oversized.h, code/gnulib/xalloc.h,
code/gnulib/xmalloc.c, code/gnulib/xreadlink.c,
code/gnulib/xreadlink.h, config.libpath, doc/relocatable.texi,
install-reloc, m4/gnulib/00gnulib.m4, m4/gnulib/alloca.m4,
m4/gnulib/canonicalize.m4, m4/gnulib/double-slash-root.m4,
m4/gnulib/eealloc.m4, m4/gnulib/environ.m4, m4/gnulib/errno_h.m4,
m4/gnulib/error.m4, m4/gnulib/extensions.m4,
m4/gnulib/gnulib-cache.m4, m4/gnulib/gnulib-common.m4,
m4/gnulib/gnulib-comp.m4, m4/gnulib/gnulib-tool.m4,
m4/gnulib/include_next.m4, m4/gnulib/inline.m4,
m4/gnulib/lib-ld.m4, m4/gnulib/longlong.m4, m4/gnulib/lstat.m4,
m4/gnulib/malloca.m4, m4/gnulib/nocrash.m4,
m4/gnulib/onceonly.m4, m4/gnulib/pathmax.m4,
m4/gnulib/readlink.m4, m4/gnulib/relocatable-lib.m4,
m4/gnulib/relocatable.m4, m4/gnulib/setenv.m4,
m4/gnulib/ssize_t.m4, m4/gnulib/stat.m4, m4/gnulib/stdbool.m4,
m4/gnulib/stddef_h.m4, m4/gnulib/stdlib_h.m4,
m4/gnulib/strerror.m4, m4/gnulib/string_h.m4,
m4/gnulib/sys_stat_h.m4, m4/gnulib/time_h.m4,
m4/gnulib/unistd_h.m4, m4/gnulib/warn-on-use.m4,
m4/gnulib/wchar_t.m4, m4/gnulib/xalloc.m4, reloc-ldflags,
warn-on-use.h: Update gnulib
2012-01-20 09:58 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
spelling issue.
2012-01-20 09:06 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl: I
moved the maple functions I want to delete later at the end of
the file.
2012-01-20 08:49 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/TopEhrhart.cpp: TopEhrhart.cpp: added
assertions
2012-01-20 08:48 Brandon Dutra <[email protected]>
* manual_v1.6.pdf: added the new manual
2012-01-20 08:44 Brandon Dutra <[email protected]>
* doc/manual.pdf, doc/manual.tex: removed a conflict in the manual.
2012-01-20 05:58 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/TopEhrhart.cpp,
code/latte/valuation/valuation.cpp: valuation.*, TopEhrhart.*:
using a "memory save" function when asked to compute a fixed
number of coefficients and
we use another function when computing the entire ehrhart
polynomial.
conebyconeap....mpl: removed the old latte interface functions.
Added comments. Should I remove the older "ehrhart polynomial"
functions also?
2012-01-19 17:39 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/compute-top-ehrhart-stdsimplex.mpl: sorry,
I don't know why this file is in svn. Removing it.
2012-01-19 07:52 Brandon Dutra <[email protected]>
* code/latte/LattException.h,
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/TopEhrhart.cpp,
code/latte/top-ehrhart/TopEhrhart.h,
code/latte/top-ehrhart/top-ehrhart.cpp,
code/latte/valuation/valuation.cpp,
code/latte/valuation/valuation.h: banner: changed the name of the
software...again.
valuation.*: added command line options for interactive mode and
the unweighted case for the top ehrhart mode.
latteException.h: new comments.
Conebycone....mpl: added a new function that computes the
coefficients one at a time.
We now compute the top k coefficients and not the top k+1.
We are using tools/gensym for one of the variables.
We can print the polynomial to a file
todo:
--comments
--remove my old function and the "just simplex" functions. Remove
the old latte interface functions
--run a few tests to check correctness. Maybe do this via a
script?
general todo list:
--update the manual.
2012-01-17 07:05 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
conebycone...mpl: we are now computing the coefficients of the
entire integrand one at a time.
todo:
clean things up
test: cube, simplex
time test: simplex: old simplex functions, old functions, new
functions.
remove old functions
latte: add option to save to a file. --interactive. default
weight.
2012-01-11 08:14 Brandon Dutra <[email protected]>
* code/latte/valuation/valuation.cpp: valuation.cpp: I forgot to
comment back in the --monomials and --linear-forms options.
2012-01-09 06:13 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
added a comment
2012-01-09 05:42 Brandon Dutra <[email protected]>
* code/latte/valuation/valuation.cpp: added a
--valuation=top-ehrhart example to the help menu.
2012-01-09 05:35 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/TopEhrhart.cpp: ok, ok, last printing
edit: we print expand(ehrhart-polynomial);
2012-01-09 05:26 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/TopEhrhart.cpp: topEhrhart.cpp: added an
"evaluate at one" after printing the polynomial.
conebyconeapproximations....mpl: we where dividing by an extra
M!. This is fixed.
2012-01-09 04:24 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
There was an error in dilated_approxi_cone_real. Sometimes (when
order=d), it would compute the real case!
2012-01-09 04:16 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/compute-top-ehrhart-stdsimplex.mpl: added
an example that shows the problem with coefficients that are not
unique.
2012-01-05 00:09 Brandon Dutra <[email protected]>
* code/latte/Makefile.am, code/latte/valuation/valuation.cpp,
code/latte/valuation/valuation.h: valuation.cpp/h: added back the
old --valuation= options.
-- I removed my old idea of passing the valuation and algorithm
used via the --valuation-algo option.
-- --valuation=top-ehrhart [--num-coefficients=x]
[--real-dilations] works
-- We can compute the weighted Ehrhart polynomial for any
simplicial cone
where the weights are powers of linear forms or polynomials
-- Todo: add an option if the user does NOT want a weighted count
(that is a linear form = (0 + ... 0)^0).
Currently, the user would have to enter such a linear form.
2012-01-04 23:59 Brandon Dutra <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/TopEhrhart.cpp,
code/latte/top-ehrhart/TopEhrhart.h,
code/latte/top-ehrhart/top-ehrhart.cpp: added a new class
TopEhrhart.cpp/h: This class builds the maple file for calling
the top Ehrhart functions.
todo: remove top-ehrhart.cpp....I'm still testing correctness.
2011-12-19 02:17 Matthias Koeppe <[email protected]>
* AUTHORS, Makefile.am, README, doc, doc/manual.pdf,
manual_v1.1.pdf, manual_v1.1.ps, manual_v1.5.pdf: Put manual in
doc/ directory, update AUTHORS
2011-12-19 01:57 Matthias Koeppe <[email protected]>
* doc/manual.tex: Update manual
2011-12-19 01:05 Matthias Koeppe <[email protected]>
* EXAMPLES/volumeIntegrationPaperComparison:
2011-12-18 20:27 Matthias Koeppe <[email protected]>
* code/latte/Makefile.am: Remove duplicate file
2011-12-18 20:26 Matthias Koeppe <[email protected]>
* code/latte/banner.cpp: Update banner
2011-12-15 02:37 Matthias Koeppe <[email protected]>
* autogen.sh, code/latte/Makefile.am, configure.ac: Use libtool to
create an installable shared-library liblatte
2011-12-14 17:55 Brandon Dutra <[email protected]>
* code/latte/LattException.h,
code/latte/top-ehrhart/top-ehrhart.cpp,
code/latte/valuation/PolytopeValuation.cpp,
code/latte/valuation/PolytopeValuation.h,
code/latte/valuation/valuation.cpp: Removed the integration over
sdt. simplex method.
2011-12-14 09:45 Brandon Dutra <[email protected]>
* code/latte/Makefile.am, code/latte/valuation/PolytopeValuation.h:
Makefile.am: I was getting an error from HAVE_PROGRAMMER_EXTRA if
statement. Quick fix: replaced it with have_database.
PolytopeValuation.h: removed double declearation. todo: remove
std simplex integration to get this working with the new changes.
2011-12-14 08:29 Brandon Dutra <[email protected]>
* code/latte/LattException.h, code/latte/integration/multiply.h,
code/latte/valuation/PolytopeValuation.cpp,
code/latte/valuation/PolytopeValuation.h,
code/latte/valuation/valuation.cpp,
code/latte/valuation/valuation.h: integration/multiply: commented
out the add function. This should be added its own file, and it
should work for plf's and polynomials.
PolytopeValuation.*, valuation.*: added integration of
polynomials by 1) products of powers of linear forms (plf), and
2) converting to the standard simplex. Option two should be
removed because it is a very bad method. Also, more comments need
to be added.
2011-12-14 05:36 Matthias Koeppe <[email protected]>
* ., code, code/gnulib, code/latte, code/latte/normalize,
code/latte/sqlite, code/latte/top-ehrhart,
code/latte/valuation/test: Ignore some generated files
2011-12-14 05:33 Matthias Koeppe <[email protected]>
* code/latte/Makefile.am: New file, top-ehrhart.cpp
New Maple file
2011-12-14 05:33 Matthias Koeppe <[email protected]>
* code/latte/LattException.h: Add FIXME
2011-12-14 05:32 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/testingTopEhrhart.mpl,
code/latte/top-ehrhart/testingTopEhrhart_lib.mpl: Update of test
scripts
2011-12-14 05:31 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/top-ehrhart.cpp,
code/latte/valuation/PolytopeValuation.h,
code/latte/valuation/valuation.cpp,
code/latte/valuation/valuation.h: New valuation: top-ehrhart
2011-12-14 05:27 Matthias Koeppe <[email protected]>
* configure.ac: Fix path of Maple scripts
2011-12-14 02:25 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
(TopEhrhartweightedPoly): Use the right approximation order
2011-12-14 01:53 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
All interface functions were computing one order too many!
2011-12-14 00:00 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
(cone_dec): Merge microoptimizations from TopEhrhart_lib.mpl
2011-12-13 02:18 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
Fix last change.
Add non-_real interface functions
2011-12-13 01:33 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
(projectedlattice): Merge microoptimizations from
TopEhrhart_lib.mpl
2011-12-13 01:19 Matthias Koeppe <[email protected]>
* code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
New interface functions.
2011-12-06 22:19 Matthias Koeppe <[email protected]>
* ., EXAMPLES/aimPresentation/examples/easy/square.latte,
EXAMPLES/deloera, EXAMPLES/deloera/6e.latte,
EXAMPLES/deloera/7h.latte, EXAMPLES/deloera/C11.latte,
EXAMPLES/deloera/C12.latte,
EXAMPLES/deloera/another-birkhoff-simplex.vrep,
EXAMPLES/deloera/chan-robbins-yuen-pyramid.vrep,
EXAMPLES/deloera/some-birkhoff-simplex.vrep,
EXAMPLES/volumeIntegrationPaperComparison/VOLUME/markKorenblit,
code/latte/barvinok/barvinok.cpp, code/latte/buildPolytopes,
code/latte/testingSLandTopEhrhart,
code/latte/testingSLandTopEhrhart/TopEhrhart/BirkhoffGenerator.mpl,
code/latte/top-ehrhart,
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mw,
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010_examples.mpl,
code/latte/top-ehrhart/README,
code/latte/top-ehrhart/TopEhrhart_lib.mpl,
code/latte/top-ehrhart/testingTopEhrhart.mpl,
code/latte/top-ehrhart/testingTopEhrhart_lib.mpl: Merge from
version_1_4_branch
2011-12-05 22:13 Matthias Koeppe <[email protected]>
* [r1404] code/latte/barvinok/barvinok.cpp,
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
configure.ac: Comment out tests
2011-12-02 21:10 Matthias Koeppe <[email protected]>
* [r1403]
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl:
split out examples
2011-12-02 21:10 Matthias Koeppe <[email protected]>
* [r1402]
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010_examples.mpl:
split out examples
2011-12-02 21:06 Matthias Koeppe <[email protected]>
* [r1401]
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/TopEhrhart_lib.mpl: Reindent with Emacs
maplev.el
2011-12-02 20:37 Matthias Koeppe <[email protected]>
* [r1400]
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mpl,
code/latte/top-ehrhart/Conebyconeapproximations_08_11_2010.mw:
Add from Michele/Velleda's email
2011-12-02 20:28 Matthias Koeppe <[email protected]>
* [r1399] code/latte/top-ehrhart/README,
code/latte/top-ehrhart/TopEhrhart_lib.mpl,
code/latte/top-ehrhart/testingTopEhrhart.mpl,
code/latte/top-ehrhart/testingTopEhrhart_lib.mpl: Add from
topweighted-ehrhart/release-2010-11-05.tar
2011-12-02 20:28 Matthias Koeppe <[email protected]>
* [r1398] code/latte/top-ehrhart: Add from
topweighted-ehrhart/release-2010-11-05.tar
2010-09-10 06:02 Matthias Koeppe <[email protected]>
* [r1255] EXAMPLES/deloera/another-birkhoff-simplex.vrep,
EXAMPLES/deloera/chan-robbins-yuen-pyramid.vrep,
EXAMPLES/deloera/some-birkhoff-simplex.vrep:
2010-09-09 04:20 Matthias Koeppe <[email protected]>
* [r1253] EXAMPLES/deloera, EXAMPLES/deloera/6e.latte,
EXAMPLES/deloera/7h.latte, EXAMPLES/deloera/C11.latte,
EXAMPLES/deloera/C12.latte:
2011-08-28 03:57 Brandon Dutra <[email protected]>
* code/latte/LattException.h, code/latte/integration/PolyTrie.cpp,
code/latte/integration/PolyTrie.h,
code/latte/integration/burstTrie.h,
code/latte/integration/consumers.h,
code/latte/integration/createLinear.mpl, code/latte/rational.cpp,
code/latte/rational.h,
code/latte/valuation/PolytopeValuation.cpp,
code/latte/valuation/PolytopeValuation.h,
code/latte/valuation/test/VolumeAndIntegrationTests.cpp,
code/latte/valuation/test/integrateHyperrectangle.mpl,
code/latte/valuation/test/testIntegrationHyperrectanglesDriver.cpp,
code/latte/valuation/test/testVolumeForSLDriver.cpp,
code/latte/valuation/test/valuationTestsLib.mpl,
code/latte/valuation/testLibraryExamples.cpp,
code/latte/valuation/valuation.cpp,
code/latte/valuation/valuation.h: rational.*: another method
PolyTrie.*:added *linFormProducts functions.
consumers.*: added linFormProducts consumer
burstTrie.*: where linFormProducts is defined.
PolytopeValuation.*,valuation.*: updated integration enums to
make it smoother. You can now integrate products of linear forms
using the new data structure.
testIntegrationHypr...Driver, *.mpl: test integrating products of
LF over cubes.
2011-08-23 23:40 Brandon Dutra <[email protected]>
* code/latte/integration/newIntegration.cpp,
code/latte/valuation/PolytopeValuation.cpp: added comments.
2011-08-23 17:55 Brandon Dutra <[email protected]>
* code/latte/LattException.cpp, code/latte/LattException.h,
code/latte/buildPolytopes/Driver.cpp,
code/latte/integration/PolyTrie.cpp,
code/latte/integration/createLinear.mpl,
code/latte/integration/newIntegration.cpp,
code/latte/integration/newIntegration.h,
code/latte/interpolation/testDriver.cpp,
code/latte/valuation/PolytopeValuation.cpp,
code/latte/valuation/PolytopeValuation.h,
code/latte/valuation/test/integrateHyperrectangle.mpl,
code/latte/valuation/test/integrateHyperrectangleTest.sh,
code/latte/valuation/test/testIntegrationHyperrectanglesDriver.cpp,
code/latte/valuation/test/valuationTestsLib.mpl,
code/latte/valuation/valuation.cpp,
code/latte/valuation/valuation.h: Major update: added integration
of products of powers of linear forms.
LatteException.*: updated what()
newIntegration.*, polytopeValuation.*, valuation.*: added
integration of products of linear forms
PolyTrie: added a check for inserting zero-coeff. polynomials.
integrateHyperrectangleTest.sh: fixed path names
testIntegrationHyperrectanglesDriver.cpp: can now test products
of linear forms
createLinear.mpl: added a function to get the product of linear
forms in maple style.
valuationTestsLib.mpl, integrateHyperrectangle.mpl: added tests
for products of linear forms.
todo:
--integrate sumes of products of powers of linear forms (that's a
lot of of's!!!) (with constant terms/volumes)
--add this to the maple test cases.
--right now, the maple scripts only make products of linear forms
where the number of products is equal to the dimension, we should
change this number (the c++ code does not have this limit)
--add amazing comments!!!
2011-08-15 07:37 Brandon Dutra <[email protected]>
* code/latte/valuation/test/fixLawrenceValuationDriver.cpp:
commented out a db query.
2011-08-15 05:33 Brandon Dutra <[email protected]>
* code/latte/valuation/testCorrectnessAndBenchmark: never mind,
having svn issues.
2011-08-15 05:32 Brandon Dutra <[email protected]>
* code/latte/valuation/testCorrectnessAndBenchmark: removed old
test folder name.
2011-07-31 01:56 Brandon Dutra <[email protected]>
* manual_v1.5.pdf: the manual now talks about non-full dimensional
polytopes.
2011-07-31 01:48 Brandon Dutra <[email protected]>
* doc/manual.tex: manual: added section about non-full dimensional
polytopes.
2011-07-30 17:07 Brandon Dutra <[email protected]>
* manual_v1.5.pdf: added the 1.5 manual.
2011-07-30 17:06 Brandon Dutra <[email protected]>
* AUTHORS, Makefile.am, configure.ac, doc/manual.tex: Makefile.am:
updated manual name
doc/manual: changed version to 1.5
configure: changed version to 1.5
2011-07-30 17:02 Brandon Dutra <[email protected]>
* NEWS, README: updated the news and readme files.
2011-07-30 00:33 Brandon Dutra <[email protected]>
* configure.ac: added the AC_CONDITIONAL for have_programmer_helper
2011-07-30 00:31 Brandon Dutra <[email protected]>
* code/latte/Makefile.am,
code/latte/valuation/test/VolumeAndIntegrationTests.cpp,
code/latte/valuation/testLibraryExamples.cpp: updated the
volumeAndInt...Test.cpp file so the check program should finish
on logic.
Makefile added "HAVE_PROGRAMMER_HELPER" condition...so regular
users don't have to see it.
2011-07-28 23:37 Brandon Dutra <[email protected]>
* code/latte/Makefile.am: updated the makefile because I renamed
that folder.