]> gitweb.michael.orlitzky.com - spline3.git/log
spline3.git
13 years agoChoose a nearby value instead of zero when asked for a nonexistent function value.
Michael Orlitzky [Fri, 26 Aug 2011 07:40:19 +0000 (03:40 -0400)]
Choose a nearby value instead of zero when asked for a nonexistent function value.

13 years agoReplace TypeSynonymInstances with FlexibleInstances (makes GHC 7.2.1 happy) everywhere.
Michael Orlitzky [Wed, 24 Aug 2011 20:21:27 +0000 (16:21 -0400)]
Replace TypeSynonymInstances with FlexibleInstances (makes GHC 7.2.1 happy) everywhere.

13 years agoRemove an unused Misc import.
Michael Orlitzky [Wed, 24 Aug 2011 17:06:46 +0000 (13:06 -0400)]
Remove an unused Misc import.
Switch the 'x' and 'z' axes of cube_at.
Fix calculate_containing_cube_coordinate so that it actually works.

13 years agoInline the two inner functions of the zoom traversal.
Michael Orlitzky [Wed, 24 Aug 2011 17:05:46 +0000 (13:05 -0400)]
Inline the two inner functions of the zoom traversal.

13 years agoRemove the x_coord, y_coord, and z_coord functions from Point.
Michael Orlitzky [Wed, 24 Aug 2011 16:40:43 +0000 (12:40 -0400)]
Remove the x_coord, y_coord, and z_coord functions from Point.

13 years agoChange "find_containing_cubes" to "find_containing_cube" and speed it up considerably.
Michael Orlitzky [Wed, 24 Aug 2011 14:53:28 +0000 (10:53 -0400)]
Change "find_containing_cubes" to "find_containing_cube" and speed it up considerably.

13 years agoUndo the previous FunctionValues test fix.
Michael Orlitzky [Wed, 24 Aug 2011 14:12:52 +0000 (10:12 -0400)]
Undo the previous FunctionValues test fix.
Update the Values.idx function to silently switch the 'x' and 'z' dimensions.

13 years agoRename example names to 'examples_list' and 'examples' instead of 'examples' and...
Michael Orlitzky [Wed, 24 Aug 2011 14:11:54 +0000 (10:11 -0400)]
Rename example names to 'examples_list' and 'examples' instead of 'examples' and 'examples_repa' respectively. This prevents having to update all of the test code.

13 years agoStart converting the tests to Repa.
Michael Orlitzky [Tue, 23 Aug 2011 21:41:04 +0000 (17:41 -0400)]
Start converting the tests to Repa.

13 years agoThrow an error when comparing two RealFunctions for equality.
Michael Orlitzky [Tue, 23 Aug 2011 20:28:56 +0000 (16:28 -0400)]
Throw an error when comparing two RealFunctions for equality.
Print RealFunctions within angled brackets, i.e. "<RealFunction>".

13 years agoConvert the zoom function to use Values3D.
Michael Orlitzky [Tue, 23 Aug 2011 20:24:32 +0000 (16:24 -0400)]
Convert the zoom function to use Values3D.

13 years agoWrite the output file in main.
Michael Orlitzky [Tue, 23 Aug 2011 20:23:58 +0000 (16:23 -0400)]
Write the output file in main.

13 years agoBegin updating everything to use Repa arrays (Values3D).
Michael Orlitzky [Tue, 23 Aug 2011 18:40:35 +0000 (14:40 -0400)]
Begin updating everything to use Repa arrays (Values3D).

13 years agoAdd "-threaded" to GHC_OPTIONS.
Michael Orlitzky [Tue, 23 Aug 2011 18:38:41 +0000 (14:38 -0400)]
Add "-threaded" to GHC_OPTIONS.

13 years agoAdd the Values module, wrapping the Repa stuff.
Michael Orlitzky [Tue, 23 Aug 2011 16:54:19 +0000 (12:54 -0400)]
Add the Values module, wrapping the Repa stuff.

13 years agoBegin playing with Repa.
Michael Orlitzky [Tue, 23 Aug 2011 03:07:00 +0000 (23:07 -0400)]
Begin playing with Repa.

13 years agoAdd "-rtsopts" to my GHC_OPTIONS.
Michael Orlitzky [Tue, 23 Aug 2011 03:05:34 +0000 (23:05 -0400)]
Add "-rtsopts" to my GHC_OPTIONS.

13 years agoRemove two unused variables.
Michael Orlitzky [Mon, 22 Aug 2011 23:56:48 +0000 (19:56 -0400)]
Remove two unused variables.

13 years agoAdd the trilinear_zoom_2 example.
Michael Orlitzky [Mon, 22 Aug 2011 19:49:11 +0000 (15:49 -0400)]
Add the trilinear_zoom_2 example.
Fix a comment.

13 years agoFix the "clean" target in the makefile to remove *.hi and *.o files from /tmp.
Michael Orlitzky [Mon, 22 Aug 2011 19:38:24 +0000 (15:38 -0400)]
Fix the "clean" target in the makefile to remove *.hi and *.o files from /tmp.

13 years agoAdd the "zoom" function.
Michael Orlitzky [Mon, 22 Aug 2011 19:33:28 +0000 (15:33 -0400)]
Add the "zoom" function.

13 years agoRename "trilinearx2" to "trilinear9x9x9".
Michael Orlitzky [Mon, 22 Aug 2011 19:06:38 +0000 (15:06 -0400)]
Rename "trilinearx2" to "trilinear9x9x9".

13 years agoRemove the individual tetrahedron positive volume tests.
Michael Orlitzky [Mon, 22 Aug 2011 18:07:29 +0000 (14:07 -0400)]
Remove the individual tetrahedron positive volume tests.

13 years agoReplace individual tetrahedron volume tests with combined ones.
Michael Orlitzky [Mon, 22 Aug 2011 18:02:49 +0000 (14:02 -0400)]
Replace individual tetrahedron volume tests with combined ones.

13 years agoRename "tetrahedrons" to "tetrahedra".
Michael Orlitzky [Mon, 22 Aug 2011 17:57:56 +0000 (13:57 -0400)]
Rename "tetrahedrons" to "tetrahedra".

13 years agoGroup all of the "trilinear reproduced" tests together.
Michael Orlitzky [Mon, 22 Aug 2011 17:54:44 +0000 (13:54 -0400)]
Group all of the "trilinear reproduced" tests together.

13 years agoAdd the trilinearx2 reproduction test.
Michael Orlitzky [Wed, 17 Aug 2011 22:30:01 +0000 (18:30 -0400)]
Add the trilinearx2 reproduction test.

13 years agoAdd the trilinearx2 example.
Michael Orlitzky [Wed, 17 Aug 2011 22:29:16 +0000 (18:29 -0400)]
Add the trilinearx2 example.

13 years agoFix all orphan instances.
Michael Orlitzky [Thu, 4 Aug 2011 17:01:03 +0000 (13:01 -0400)]
Fix all orphan instances.

13 years agoFix some property tests now that all of the tetrahedra are defined properly.
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.

13 years agoFix 'rotate' argument order in some tests.
Michael Orlitzky [Thu, 4 Aug 2011 16:45:30 +0000 (12:45 -0400)]
Fix 'rotate' argument order in some tests.

13 years agoSwitch all of the tetrahedronX functions to use the new 'rotate' argument order.
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.

13 years agoSwitch the order of the arguments to the 'rotate' function.
Michael Orlitzky [Thu, 4 Aug 2011 16:43:27 +0000 (12:43 -0400)]
Switch the order of the arguments to the 'rotate' function.

13 years agoAdd some new warnings for GHC7.
Michael Orlitzky [Wed, 27 Jul 2011 19:20:19 +0000 (15:20 -0400)]
Add some new warnings for GHC7.

13 years agoRemove a useless import.
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.

13 years agoFix the ccwz rotations.
Michael Orlitzky [Sun, 10 Jul 2011 20:41:16 +0000 (16:41 -0400)]
Fix the ccwz rotations.

13 years agoAdd 23 more tests for trilinear reproduction, testing the remaining tetrahedra.
Michael Orlitzky [Sun, 10 Jul 2011 17:22:09 +0000 (13:22 -0400)]
Add 23 more tests for trilinear reproduction, testing the remaining tetrahedra.

13 years agoRe-export the modules in Everything.hs.
Michael Orlitzky [Sun, 10 Jul 2011 16:49:02 +0000 (12:49 -0400)]
Re-export the modules in Everything.hs.

13 years agoAdded a find_containing_tetrahedra function to the Cube module.
Michael Orlitzky [Sun, 10 Jul 2011 15:36:44 +0000 (11:36 -0400)]
Added a find_containing_tetrahedra function to the Cube module.

13 years agoAdd a find_containing_cubes function to the Grid module.
Michael Orlitzky [Sun, 10 Jul 2011 15:27:27 +0000 (11:27 -0400)]
Add a find_containing_cubes function to the Grid module.

13 years agoFix some hlint warnings.
Michael Orlitzky [Sat, 9 Jul 2011 03:33:12 +0000 (23:33 -0400)]
Fix some hlint warnings.

13 years agoAdd another TODO item.
Michael Orlitzky [Sat, 9 Jul 2011 03:11:06 +0000 (23:11 -0400)]
Add another TODO item.

13 years agoHide i, j, and k from two Cube imports.
Michael Orlitzky [Sat, 9 Jul 2011 03:01:47 +0000 (23:01 -0400)]
Hide i, j, and k from two Cube imports.

13 years agoRe-enable the non-doc tests.
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.

13 years agoAdd doctests to the test suite.
Michael Orlitzky [Sat, 9 Jul 2011 00:17:47 +0000 (20:17 -0400)]
Add doctests to the test suite.

13 years agoAdd two examples (doctests) for the factorial function.
Michael Orlitzky [Sat, 9 Jul 2011 00:16:41 +0000 (20:16 -0400)]
Add two examples (doctests) for the factorial function.

13 years agoAdd two new dependencies.
Michael Orlitzky [Sat, 9 Jul 2011 00:16:19 +0000 (20:16 -0400)]
Add two new dependencies.

13 years agoFix some hlint warnings.
Michael Orlitzky [Fri, 8 Jul 2011 21:26:38 +0000 (17:26 -0400)]
Fix some hlint warnings.

13 years agoFinish moving the tests to test-framework.
Michael Orlitzky [Fri, 8 Jul 2011 20:18:31 +0000 (16:18 -0400)]
Finish moving the tests to test-framework.

13 years agoFinish migrating the QuickCheck 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.

13 years agoUncomment the (2.5) cijk1 identity and make a TODO item for it.
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.

13 years agoBegin migration to test-framework.
Michael Orlitzky [Thu, 7 Jul 2011 22:59:31 +0000 (18:59 -0400)]
Begin migration to test-framework.

13 years agoAdd three new dependencies to the README.
Michael Orlitzky [Thu, 7 Jul 2011 22:58:51 +0000 (18:58 -0400)]
Add three new dependencies to the README.

13 years agoAdd a new TODO item.
Michael Orlitzky [Thu, 7 Jul 2011 22:58:35 +0000 (18:58 -0400)]
Add a new TODO item.

13 years agoUpdate the TODO.
Michael Orlitzky [Mon, 4 Jul 2011 20:56:26 +0000 (16:56 -0400)]
Update the TODO.

13 years agoAdd tests to ensure that the zero function and a trilinear function are reproduced...
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.

13 years agoGet rid of the tests for section (2.9), for now.
Michael Orlitzky [Mon, 4 Jul 2011 17:03:46 +0000 (13:03 -0400)]
Get rid of the tests for section (2.9), for now.

13 years agoAdd a blank line to the test output.
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?

13 years agoAdd four tests confirming that vertex swaps don't affect coefficients.
Michael Orlitzky [Tue, 14 Jun 2011 15:39:37 +0000 (11:39 -0400)]
Add four tests confirming that vertex swaps don't affect coefficients.

13 years agoFix many of the tests from page 79.
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.

13 years agoChange some putStrLn calls to putStr instead.
Michael Orlitzky [Fri, 10 Jun 2011 23:46:29 +0000 (19:46 -0400)]
Change some putStrLn calls to putStr instead.

13 years agoRemove two completed TODO items.
Michael Orlitzky [Fri, 10 Jun 2011 23:44:27 +0000 (19:44 -0400)]
Remove two completed TODO items.

13 years agoAdd a bunch more exact volume tests.
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.

13 years agoAdd the kinda_equals comparison.
Michael Orlitzky [Fri, 10 Jun 2011 18:56:28 +0000 (14:56 -0400)]
Add the kinda_equals comparison.

13 years agoInvert all of the rotations.
Michael Orlitzky [Fri, 10 Jun 2011 18:32:47 +0000 (14:32 -0400)]
Invert all of the rotations.

13 years agoCreate a limit on the min/max function values that will be generated.
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.

13 years agoAdd six tests to ensure that the rotations don't affect faces perpendicular to them.
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.

13 years agoAdded the Everything module.
Michael Orlitzky [Fri, 10 Jun 2011 17:11:39 +0000 (13:11 -0400)]
Added the Everything module.

13 years agoAdd the prop_interior_values_all_identical test.
Michael Orlitzky [Tue, 7 Jun 2011 21:01:56 +0000 (17:01 -0400)]
Add the prop_interior_values_all_identical test.

13 years agoAdd the all_equal function to the Misc module.
Michael Orlitzky [Tue, 7 Jun 2011 21:00:54 +0000 (17:00 -0400)]
Add the all_equal function to the Misc module.

13 years agoAdd two missing type declarations.
Michael Orlitzky [Fri, 13 May 2011 21:00:23 +0000 (17:00 -0400)]
Add two missing type declarations.

13 years agoAdd another test checking the rotation for c2100.
Michael Orlitzky [Wed, 11 May 2011 22:04:15 +0000 (18:04 -0400)]
Add another test checking the rotation for c2100.

13 years agoAdd a Cardinal test, computed manually and from Sorokina and Zeilfelder, p. 87.
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.

13 years agoAdd a test based on the computations on 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.

13 years agoAdd a bunch of edge incidence tests.
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.

13 years agoAdd five new prop_c0120_identity tests.
Michael Orlitzky [Wed, 11 May 2011 19:20:41 +0000 (15:20 -0400)]
Add five new prop_c0120_identity tests.

13 years agoAdd a test for FunctionValues, test_directions.
Michael Orlitzky [Wed, 11 May 2011 19:19:36 +0000 (15:19 -0400)]
Add a test for FunctionValues, test_directions.

13 years agoMove the three example 3x3x3 arrays to the Examples module.
Michael Orlitzky [Wed, 11 May 2011 19:18:22 +0000 (15:18 -0400)]
Move the three example 3x3x3 arrays to the Examples module.

13 years agoAdd assertTrue = assertBool.
Michael Orlitzky [Wed, 11 May 2011 19:17:41 +0000 (15:17 -0400)]
Add assertTrue = assertBool.

13 years agoFix an incorrect coordinate.
Michael Orlitzky [Wed, 11 May 2011 19:17:06 +0000 (15:17 -0400)]
Fix an incorrect coordinate.
Order the down/top functions consistently.

13 years agoEscape some special characters in comments, and make the publish_doc target sync...
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.

13 years agoAdd a publish_doc target to the makefile that rsyncs the documentation to my website.
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.

13 years agoUpdate the makefile to include a bunch more stuff from GHC and other libraries.
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.

13 years agoAdd two more function comments.
Michael Orlitzky [Sun, 8 May 2011 20:56:09 +0000 (16:56 -0400)]
Add two more function comments.

13 years agoMore doc updates.
Michael Orlitzky [Sun, 8 May 2011 20:51:47 +0000 (16:51 -0400)]
More doc updates.

13 years agoMore minor doc fixes.
Michael Orlitzky [Sun, 8 May 2011 20:40:05 +0000 (16:40 -0400)]
More minor doc fixes.

13 years agoFix two minor documentation issues.
Michael Orlitzky [Sun, 8 May 2011 20:36:36 +0000 (16:36 -0400)]
Fix two minor documentation issues.

13 years agoAdd a bunch of documentation.
Michael Orlitzky [Sun, 8 May 2011 20:34:07 +0000 (16:34 -0400)]
Add a bunch of documentation.

13 years agoFix some warnings and hlint suggestions.
Michael Orlitzky [Sun, 8 May 2011 20:06:38 +0000 (16:06 -0400)]
Fix some warnings and hlint suggestions.

13 years agoComment out some failing tests.
Michael Orlitzky [Sun, 8 May 2011 17:03:10 +0000 (13:03 -0400)]
Comment out some failing tests.
Enable the new Cardinal tests.

13 years agoAdd a bunch of new Cardinal tests.
Michael Orlitzky [Sun, 8 May 2011 17:02:53 +0000 (13:02 -0400)]
Add a bunch of new Cardinal tests.

13 years agoMove the (2.8) tests from Face to Cube.
Michael Orlitzky [Sun, 8 May 2011 17:02:30 +0000 (13:02 -0400)]
Move the (2.8) tests from Face to Cube.

13 years agoRe-enable all of the tests for (2.7).
Michael Orlitzky [Sun, 8 May 2011 07:13:09 +0000 (03:13 -0400)]
Re-enable all of the tests for (2.7).

13 years agoRe-enable all of the tests for (2.6) and make them pass by switchint the third and...
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.

13 years agoTry to re-enable some more tests; fail miserably.
Michael Orlitzky [Sun, 8 May 2011 03:56:37 +0000 (23:56 -0400)]
Try to re-enable some more tests; fail miserably.

13 years agoMove four vertex tests into Tests.Grid and re-enable them.
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.

13 years agoComment out some failing tests, and add a TODO document to remind myself about it...
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.

13 years agoMove all of the trilinear coefficient tests into the Tests.Grid module.
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.

13 years agoAdd a cube_at function to Grid.
Michael Orlitzky [Sun, 8 May 2011 02:10:28 +0000 (22:10 -0400)]
Add a cube_at function to Grid.

13 years agoAdd the rest of the tetrahedron and tests.
Michael Orlitzky [Sat, 7 May 2011 22:14:46 +0000 (18:14 -0400)]
Add the rest of the tetrahedron and tests.