]> gitweb.michael.orlitzky.com - spline3.git/log
spline3.git
12 years agoRemove some completed TODO entries.
Michael Orlitzky [Wed, 31 Aug 2011 18:03:58 +0000 (14:03 -0400)]
Remove some completed TODO entries.

12 years agoSpeed up the trilinear9x9x9 test.
Michael Orlitzky [Wed, 31 Aug 2011 18:02:12 +0000 (14:02 -0400)]
Speed up the trilinear9x9x9 test.

12 years agoDe-dupe some more Tetrahedron tests.
Michael Orlitzky [Wed, 31 Aug 2011 17:59:32 +0000 (13:59 -0400)]
De-dupe some more Tetrahedron tests.

12 years agoAdd -fno-spec-constr-count to the GHC command line.
Michael Orlitzky [Wed, 31 Aug 2011 13:28:46 +0000 (09:28 -0400)]
Add -fno-spec-constr-count to the GHC command line.

12 years agoCombine some Tetrahedron tests.
Michael Orlitzky [Tue, 30 Aug 2011 20:47:28 +0000 (16:47 -0400)]
Combine some Tetrahedron tests.
Whitespace cleanup.

12 years agoReduce more duplication in the Grid tests.
Michael Orlitzky [Tue, 30 Aug 2011 18:30:35 +0000 (14:30 -0400)]
Reduce more duplication in the Grid tests.

12 years agoFix two minor hLint warnings.
Michael Orlitzky [Tue, 30 Aug 2011 18:17:26 +0000 (14:17 -0400)]
Fix two minor hLint warnings.

12 years agoCombine a bunch of Grid tests into a Test.Framework testGroup so that we can take...
Michael Orlitzky [Tue, 30 Aug 2011 17:29:44 +0000 (13:29 -0400)]
Combine a bunch of Grid tests into a Test.Framework testGroup so that we can take advantage of local variable reuse.

12 years agoFix some more hLint warnings.
Michael Orlitzky [Tue, 30 Aug 2011 11:34:37 +0000 (07:34 -0400)]
Fix some more hLint warnings.

12 years agoClean up some hLint warnings.
Michael Orlitzky [Mon, 29 Aug 2011 23:14:55 +0000 (19:14 -0400)]
Clean up some hLint warnings.

12 years agoAdd the current Main module, which works alrightish.
Michael Orlitzky [Mon, 29 Aug 2011 23:09:28 +0000 (19:09 -0400)]
Add the current Main module, which works alrightish.

12 years agoModify the Grid module to use ScaleFactors.
Michael Orlitzky [Mon, 29 Aug 2011 23:06:38 +0000 (19:06 -0400)]
Modify the Grid module to use ScaleFactors.

12 years agoModify the Values module to use ScaleFactors instead of Ints.
Michael Orlitzky [Mon, 29 Aug 2011 23:02:31 +0000 (19:02 -0400)]
Modify the Values module to use ScaleFactors instead of Ints.

12 years agoIncrease theta by an order of magnitude, fixing one particularly bad case.
Michael Orlitzky [Mon, 29 Aug 2011 23:01:54 +0000 (19:01 -0400)]
Increase theta by an order of magnitude, fixing one particularly bad case.

12 years agoAdd the ScaleFactor module and type, allowing us to scale (x,y,z) independently.
Michael Orlitzky [Mon, 29 Aug 2011 23:01:21 +0000 (19:01 -0400)]
Add the ScaleFactor module and type, allowing us to scale (x,y,z) independently.

12 years agoTranspose all of the example lists.
Michael Orlitzky [Sun, 28 Aug 2011 22:55:02 +0000 (18:55 -0400)]
Transpose all of the example lists.

12 years agoAdd the Misc.transpose_xz function.
Michael Orlitzky [Sun, 28 Aug 2011 22:49:43 +0000 (18:49 -0400)]
Add the Misc.transpose_xz function.

12 years agoUn-transpose the x,z coordinates in the Values.idx function.
Michael Orlitzky [Sun, 28 Aug 2011 22:48:43 +0000 (18:48 -0400)]
Un-transpose the x,z coordinates in the Values.idx function.

12 years agoFix the tetrahedron collision detection.
Michael Orlitzky [Sun, 28 Aug 2011 21:45:07 +0000 (17:45 -0400)]
Fix the tetrahedron collision detection.
Update the test for the collision detection (it was wrong).

12 years agoAdd the theta tolerance and nearly_equals, nearly_ge comparisons.
Michael Orlitzky [Sun, 28 Aug 2011 01:13:03 +0000 (21:13 -0400)]
Add the theta tolerance and nearly_equals, nearly_ge comparisons.

12 years agoMove the tetrahedra collision sensitivity test before the tests that take a long...
Michael Orlitzky [Sun, 28 Aug 2011 01:12:30 +0000 (21:12 -0400)]
Move the tetrahedra collision sensitivity test before the tests that take a long time.

12 years agoAdd another 1x20x1 example vector.
Michael Orlitzky [Sun, 28 Aug 2011 01:12:00 +0000 (21:12 -0400)]
Add another 1x20x1 example vector.

12 years agoMake cube_at either return a cube or error instead of returning a (Maybe Cube).
Michael Orlitzky [Sun, 28 Aug 2011 00:04:20 +0000 (20:04 -0400)]
Make cube_at either return a cube or error instead of returning a (Maybe Cube).

12 years agoAdd a test: test_tetrahedra_collision_sensitivity.
Michael Orlitzky [Sat, 27 Aug 2011 23:49:51 +0000 (19:49 -0400)]
Add a test: test_tetrahedra_collision_sensitivity.

12 years agoAdd the Values module to Everything.
Michael Orlitzky [Sat, 27 Aug 2011 23:08:20 +0000 (19:08 -0400)]
Add the Values module to Everything.

12 years agoCorrect an error in the value_at function.
Michael Orlitzky [Fri, 26 Aug 2011 14:30:38 +0000 (10:30 -0400)]
Correct an error in the value_at function.
Add some doctests for the value_at function.

12 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.

12 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.

12 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.

12 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.

12 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.

12 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.

12 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.

12 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.

12 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.

12 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>".

12 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.

12 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.

12 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).

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

12 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.

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

12 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.

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

12 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.

12 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.

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

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

12 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.

12 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.

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

12 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.

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

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

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

12 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.

12 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.

12 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.

12 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.

12 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.

12 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.

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

12 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.

12 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.

12 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.

12 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.

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

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

12 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.

12 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.

12 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.

12 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.

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

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

12 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.

12 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.

12 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.

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

12 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.

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

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

12 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.

12 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.

12 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?

12 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.

12 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.

12 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.

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

12 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.

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

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

12 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.

12 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.

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

12 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.

12 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.