]>
gitweb.michael.orlitzky.com - spline3.git/log
Michael Orlitzky [Wed, 17 Aug 2011 22:29:16 +0000 (18:29 -0400)]
Add the trilinearx2 example.
Michael Orlitzky [Thu, 4 Aug 2011 17:01:03 +0000 (13:01 -0400)]
Fix all orphan instances.
Michael Orlitzky [Thu, 4 Aug 2011 16:46:00 +0000 (12:46 -0400)]
Fix some property tests now that all of the tetrahedra are defined properly.
Re-enable some tests that were failing but now pass.
Michael Orlitzky [Thu, 4 Aug 2011 16:45:30 +0000 (12:45 -0400)]
Fix 'rotate' argument order in some tests.
Michael Orlitzky [Thu, 4 Aug 2011 16:44:01 +0000 (12:44 -0400)]
Switch all of the tetrahedronX functions to use the new 'rotate' argument order.
Use (rotate $ rotate $ ...) notation instead of composing rotations.
Fix all tetrahedron functions so that the trilinear reproduction tests pass.
Michael Orlitzky [Thu, 4 Aug 2011 16:43:27 +0000 (12:43 -0400)]
Switch the order of the arguments to the 'rotate' function.
Michael Orlitzky [Wed, 27 Jul 2011 19:20:19 +0000 (15:20 -0400)]
Add some new warnings for GHC7.
Michael Orlitzky [Fri, 15 Jul 2011 15:49:05 +0000 (11:49 -0400)]
Remove a useless import.
Output *.hi and *.o files to /tmp.
A tiny bit of makefile cleanup.
Michael Orlitzky [Sun, 10 Jul 2011 20:41:16 +0000 (16:41 -0400)]
Fix the ccwz rotations.
Michael Orlitzky [Sun, 10 Jul 2011 17:22:09 +0000 (13:22 -0400)]
Add 23 more tests for trilinear reproduction, testing the remaining tetrahedra.
Michael Orlitzky [Sun, 10 Jul 2011 16:49:02 +0000 (12:49 -0400)]
Re-export the modules in Everything.hs.
Michael Orlitzky [Sun, 10 Jul 2011 15:36:44 +0000 (11:36 -0400)]
Added a find_containing_tetrahedra function to the Cube module.
Michael Orlitzky [Sun, 10 Jul 2011 15:27:27 +0000 (11:27 -0400)]
Add a find_containing_cubes function to the Grid module.
Michael Orlitzky [Sat, 9 Jul 2011 03:33:12 +0000 (23:33 -0400)]
Fix some hlint warnings.
Michael Orlitzky [Sat, 9 Jul 2011 03:11:06 +0000 (23:11 -0400)]
Add another TODO item.
Michael Orlitzky [Sat, 9 Jul 2011 03:01:47 +0000 (23:01 -0400)]
Hide i, j, and k from two Cube imports.
Michael Orlitzky [Sat, 9 Jul 2011 00:26:34 +0000 (20:26 -0400)]
Re-enable the non-doc tests.
Add a doctest for the flatten function.
Michael Orlitzky [Sat, 9 Jul 2011 00:17:47 +0000 (20:17 -0400)]
Add doctests to the test suite.
Michael Orlitzky [Sat, 9 Jul 2011 00:16:41 +0000 (20:16 -0400)]
Add two examples (doctests) for the factorial function.
Michael Orlitzky [Sat, 9 Jul 2011 00:16:19 +0000 (20:16 -0400)]
Add two new dependencies.
Michael Orlitzky [Fri, 8 Jul 2011 21:26:38 +0000 (17:26 -0400)]
Fix some hlint warnings.
Michael Orlitzky [Fri, 8 Jul 2011 20:18:31 +0000 (16:18 -0400)]
Finish moving the tests to test-framework.
Michael Orlitzky [Fri, 8 Jul 2011 12:05:24 +0000 (08:05 -0400)]
Finish migrating the QuickCheck tests to test-framework.
Michael Orlitzky [Fri, 8 Jul 2011 12:05:01 +0000 (08:05 -0400)]
Uncomment the (2.5) cijk1 identity and make a TODO item for it.
Michael Orlitzky [Thu, 7 Jul 2011 22:59:31 +0000 (18:59 -0400)]
Begin migration to test-framework.
Michael Orlitzky [Thu, 7 Jul 2011 22:58:51 +0000 (18:58 -0400)]
Add three new dependencies to the README.
Michael Orlitzky [Thu, 7 Jul 2011 22:58:35 +0000 (18:58 -0400)]
Add a new TODO item.
Michael Orlitzky [Mon, 4 Jul 2011 20:56:26 +0000 (16:56 -0400)]
Update the TODO.
Michael Orlitzky [Mon, 4 Jul 2011 17:52:37 +0000 (13:52 -0400)]
Add tests to ensure that the zero function and a trilinear function are reproduced correctly.
Michael Orlitzky [Mon, 4 Jul 2011 17:03:46 +0000 (13:03 -0400)]
Get rid of the tests for section (2.9), for now.
Michael Orlitzky [Mon, 4 Jul 2011 16:21:56 +0000 (12:21 -0400)]
Add a blank line to the test output.
Don't switch v2 and v3 of tetrahedron6 in the (2.8) tests. These tests used to fail, but now they don't. Cool?
Michael Orlitzky [Tue, 14 Jun 2011 15:39:37 +0000 (11:39 -0400)]
Add four tests confirming that vertex swaps don't affect coefficients.
Michael Orlitzky [Sat, 11 Jun 2011 15:48:37 +0000 (11:48 -0400)]
Fix many of the tests from page 79.
Add a new TODO item (explain a test success).
Update the comments for the page 79 tests.
Michael Orlitzky [Fri, 10 Jun 2011 23:46:29 +0000 (19:46 -0400)]
Change some putStrLn calls to putStr instead.
Michael Orlitzky [Fri, 10 Jun 2011 23:44:27 +0000 (19:44 -0400)]
Remove two completed TODO items.
Michael Orlitzky [Fri, 10 Jun 2011 18:57:32 +0000 (14:57 -0400)]
Add a bunch more exact volume tests.
Use the kinda_equals comparison in exact volume tests.
Michael Orlitzky [Fri, 10 Jun 2011 18:56:28 +0000 (14:56 -0400)]
Add the kinda_equals comparison.
Michael Orlitzky [Fri, 10 Jun 2011 18:32:47 +0000 (14:32 -0400)]
Invert all of the rotations.
Michael Orlitzky [Fri, 10 Jun 2011 18:27:44 +0000 (14:27 -0400)]
Create a limit on the min/max function values that will be generated.
Michael Orlitzky [Fri, 10 Jun 2011 18:25:33 +0000 (14:25 -0400)]
Add six tests to ensure that the rotations don't affect faces perpendicular to them.
Michael Orlitzky [Fri, 10 Jun 2011 17:11:39 +0000 (13:11 -0400)]
Added the Everything module.
Michael Orlitzky [Tue, 7 Jun 2011 21:01:56 +0000 (17:01 -0400)]
Add the prop_interior_values_all_identical test.
Michael Orlitzky [Tue, 7 Jun 2011 21:00:54 +0000 (17:00 -0400)]
Add the all_equal function to the Misc module.
Michael Orlitzky [Fri, 13 May 2011 21:00:23 +0000 (17:00 -0400)]
Add two missing type declarations.
Michael Orlitzky [Wed, 11 May 2011 22:04:15 +0000 (18:04 -0400)]
Add another test checking the rotation for c2100.
Michael Orlitzky [Wed, 11 May 2011 21:49:35 +0000 (17:49 -0400)]
Add a Cardinal test, computed manually and from Sorokina and Zeilfelder, p. 87.
Michael Orlitzky [Wed, 11 May 2011 21:13:05 +0000 (17:13 -0400)]
Add a test based on the computations on Sorokina and Zeilfelder, p. 87.
Michael Orlitzky [Wed, 11 May 2011 20:20:35 +0000 (16:20 -0400)]
Add a bunch of edge incidence tests.
Add a TODO item reminding myself to finish the edge incidence tests.
Michael Orlitzky [Wed, 11 May 2011 19:20:41 +0000 (15:20 -0400)]
Add five new prop_c0120_identity tests.
Michael Orlitzky [Wed, 11 May 2011 19:19:36 +0000 (15:19 -0400)]
Add a test for FunctionValues, test_directions.
Michael Orlitzky [Wed, 11 May 2011 19:18:22 +0000 (15:18 -0400)]
Move the three example 3x3x3 arrays to the Examples module.
Michael Orlitzky [Wed, 11 May 2011 19:17:41 +0000 (15:17 -0400)]
Add assertTrue = assertBool.
Michael Orlitzky [Wed, 11 May 2011 19:17:06 +0000 (15:17 -0400)]
Fix an incorrect coordinate.
Order the down/top functions consistently.
Michael Orlitzky [Sun, 8 May 2011 21:38:25 +0000 (17:38 -0400)]
Escape some special characters in comments, and make the publish_doc target sync in the right direction.
Michael Orlitzky [Sun, 8 May 2011 21:29:04 +0000 (17:29 -0400)]
Add a publish_doc target to the makefile that rsyncs the documentation to my website.
Michael Orlitzky [Sun, 8 May 2011 21:19:20 +0000 (17:19 -0400)]
Update the makefile to include a bunch more stuff from GHC and other libraries.
Michael Orlitzky [Sun, 8 May 2011 20:56:09 +0000 (16:56 -0400)]
Add two more function comments.
Michael Orlitzky [Sun, 8 May 2011 20:51:47 +0000 (16:51 -0400)]
More doc updates.
Michael Orlitzky [Sun, 8 May 2011 20:40:05 +0000 (16:40 -0400)]
More minor doc fixes.
Michael Orlitzky [Sun, 8 May 2011 20:36:36 +0000 (16:36 -0400)]
Fix two minor documentation issues.
Michael Orlitzky [Sun, 8 May 2011 20:34:07 +0000 (16:34 -0400)]
Add a bunch of documentation.
Michael Orlitzky [Sun, 8 May 2011 20:06:38 +0000 (16:06 -0400)]
Fix some warnings and hlint suggestions.
Michael Orlitzky [Sun, 8 May 2011 17:03:10 +0000 (13:03 -0400)]
Comment out some failing tests.
Enable the new Cardinal tests.
Michael Orlitzky [Sun, 8 May 2011 17:02:53 +0000 (13:02 -0400)]
Add a bunch of new Cardinal tests.
Michael Orlitzky [Sun, 8 May 2011 17:02:30 +0000 (13:02 -0400)]
Move the (2.8) tests from Face to Cube.
Michael Orlitzky [Sun, 8 May 2011 07:13:09 +0000 (03:13 -0400)]
Re-enable all of the tests for (2.7).
Michael Orlitzky [Sun, 8 May 2011 04:21:29 +0000 (00:21 -0400)]
Re-enable all of the tests for (2.6) and make them pass by switchint the third and fourth indices for T-tilde.
Michael Orlitzky [Sun, 8 May 2011 03:56:37 +0000 (23:56 -0400)]
Try to re-enable some more tests; fail miserably.
Michael Orlitzky [Sun, 8 May 2011 02:25:41 +0000 (22:25 -0400)]
Move four vertex tests into Tests.Grid and re-enable them.
Clean up some unneeded imports.
Michael Orlitzky [Sun, 8 May 2011 02:16:42 +0000 (22:16 -0400)]
Comment out some failing tests, and add a TODO document to remind myself about it later.
Michael Orlitzky [Sun, 8 May 2011 02:11:38 +0000 (22:11 -0400)]
Move all of the trilinear coefficient tests into the Tests.Grid module.
Move the two custom assertions into an Assertions module.
Michael Orlitzky [Sun, 8 May 2011 02:10:28 +0000 (22:10 -0400)]
Add a cube_at function to Grid.
Michael Orlitzky [Sat, 7 May 2011 22:14:46 +0000 (18:14 -0400)]
Add the rest of the tetrahedron and tests.
Michael Orlitzky [Sat, 7 May 2011 21:20:28 +0000 (17:20 -0400)]
Fix two warnings in the Cube tests.
Michael Orlitzky [Sat, 7 May 2011 21:17:24 +0000 (17:17 -0400)]
Add tests/code for tetrahedron 12 through 15.
Michael Orlitzky [Sat, 7 May 2011 20:05:31 +0000 (16:05 -0400)]
Add some tests to check that four rotations in one direction is the identity rotation.
Michael Orlitzky [Sat, 7 May 2011 20:05:07 +0000 (16:05 -0400)]
Add the actual volume tests for tetrahedron 8 through 11.
Michael Orlitzky [Sat, 7 May 2011 20:04:30 +0000 (16:04 -0400)]
Remove the 'reorient' function from Cube.
Add tetrahedron functions 8 through 11.
Add some tests for the volumes of tetrahedron 8 through 11 to the suite.
Michael Orlitzky [Sat, 7 May 2011 20:03:14 +0000 (16:03 -0400)]
Add the rotations about the y and z axes to the Cardinal module.
Add haddock comments to the Cardinal module.
Michael Orlitzky [Sat, 7 May 2011 20:02:34 +0000 (16:02 -0400)]
Update the hmatrix version in the makefile.
Add the haddock files for QuickCheck and HUnit to the doc target.
Michael Orlitzky [Sat, 7 May 2011 17:41:02 +0000 (13:41 -0400)]
Split the exact volume test into seven separate ones.
Michael Orlitzky [Sat, 7 May 2011 17:35:13 +0000 (13:35 -0400)]
Rework a bunch of Cube stuff and re-enable now-passing tests.
Michael Orlitzky [Sat, 7 May 2011 17:16:01 +0000 (13:16 -0400)]
Catch out-of-bounds calls to value_at.
Michael Orlitzky [Sat, 7 May 2011 01:10:56 +0000 (21:10 -0400)]
Remove some dead code from the Cube module.
Michael Orlitzky [Sat, 7 May 2011 00:32:07 +0000 (20:32 -0400)]
Have the show function display the grid size of a cube.
Michael Orlitzky [Sat, 7 May 2011 00:31:37 +0000 (20:31 -0400)]
Add two new comparisons, very_positive and non_very_positive_entries.
Michael Orlitzky [Fri, 6 May 2011 22:38:20 +0000 (18:38 -0400)]
Re-enable the Cube tests in the suite.
Michael Orlitzky [Fri, 6 May 2011 22:37:47 +0000 (18:37 -0400)]
Re-enable the prop_all_volumes_positive check and add some new ones.
Michael Orlitzky [Fri, 6 May 2011 22:37:21 +0000 (18:37 -0400)]
Add two missing type signatures.
Michael Orlitzky [Fri, 6 May 2011 22:13:21 +0000 (18:13 -0400)]
Move a bunch of Face/Tetrahedron code into Cube.
Michael Orlitzky [Fri, 6 May 2011 22:10:15 +0000 (18:10 -0400)]
Add the code to rotate a FunctionValues object.
Michael Orlitzky [Fri, 6 May 2011 22:09:27 +0000 (18:09 -0400)]
Move some dead code out of Face and add it to Cube where it now belongs.
Michael Orlitzky [Fri, 6 May 2011 22:09:11 +0000 (18:09 -0400)]
Add a TODO comment.
Michael Orlitzky [Fri, 6 May 2011 22:08:17 +0000 (18:08 -0400)]
Add a bunch of broken y-axis rotations (still using the x-axis code).
Michael Orlitzky [Fri, 6 May 2011 20:39:23 +0000 (16:39 -0400)]
Disable most failing Face tests.
Michael Orlitzky [Fri, 6 May 2011 20:38:39 +0000 (16:38 -0400)]
Add an Arbitrary instance for Cardinal two Cardinal tests.
Michael Orlitzky [Fri, 6 May 2011 20:37:52 +0000 (16:37 -0400)]
Add the counter-clockwise rotations (with respect to the x-axis) to the Cardinal module.
Michael Orlitzky [Wed, 4 May 2011 03:04:05 +0000 (23:04 -0400)]
Begin fixing some of the tests. Commented out most of them.
Added an Arbitrary instance for FunctionValues.
Michael Orlitzky [Wed, 4 May 2011 00:57:37 +0000 (20:57 -0400)]
Begin overhauling the program to handle other tetrahedra. Main is
pretty much disabled at this point, waiting for me to implement the
tetrahedron[0-23] functions.
Michael Orlitzky [Tue, 3 May 2011 21:48:36 +0000 (17:48 -0400)]
Add the Cardinal and FunctionValues modules which will hopefully replace the existing cube magic.