| Sat, 20 Aug 2005 21:20:16 +0200 |
find out why IntegrateScript doesnt work
|
file | diff | annotate |
| Sat, 20 Aug 2005 19:10:30 +0200 |
integration: compile script (Rewrite_Set_Inst seems to enforce
|
file | diff | annotate |
| Sat, 20 Aug 2005 18:25:14 +0200 |
integration by rewrite_set, still trying
|
file | diff | annotate |
| Sat, 20 Aug 2005 18:04:54 +0200 |
Scripts.rew_sub: repaired (subterms of asms were evaluated)
|
file | diff | annotate |
| Sat, 20 Aug 2005 15:15:41 +0200 |
add_new_c: trials with get_pair finished, search error in eval__true
|
file | diff | annotate |
| Fri, 19 Aug 2005 18:27:48 +0200 |
add_new_c for integration, still trying
|
file | diff | annotate |
| Tue, 16 Aug 2005 17:41:06 +0200 |
work on integration methods
|
file | diff | annotate |
| Tue, 16 Aug 2005 13:28:32 +0200 |
work on integration pbl, met
|
file | diff | annotate |
| Sun, 14 Aug 2005 13:52:53 +0200 |
added integration
|
file | diff | annotate |
| Sun, 14 Aug 2005 13:42:54 +0200 |
added integration
|
file | diff | annotate |
| Thu, 20 Jul 2006 16:25:58 +0200 |
sml: 'type met' added {guh, authors, ...}, missing: check_guh_unique
|
file | diff | annotate |
| Fri, 09 Jun 2006 14:01:38 +0200 |
removed a minor bug in 'fun detailstep'
|
file | diff | annotate |
| Wed, 07 Jun 2006 18:51:07 +0200 |
improved interSteps for Rewrite_Set_Inst;
|
file | diff | annotate |
| Wed, 07 Jun 2006 17:50:06 +0200 |
removed bug in 'fun init_istate' in generate.sml (which had no effect)
|
file | diff | annotate |
| Tue, 06 Jun 2006 15:22:15 +0200 |
prepared a test for impl. interSteps for Rewrite_Set_Inst
|
file | diff | annotate |
| Mon, 05 Jun 2006 17:39:08 +0200 |
work on rule-set's auto-generated scripts for interSteps;
|
file | diff | annotate |
| Fri, 21 Apr 2006 12:45:22 +0200 |
edit comments during implementation of exp in xml: root-equ, systems, calculus
|
file | diff | annotate |
| Thu, 03 Nov 2005 16:58:15 +0100 |
finished smltest/../biegelinie.sml for Textbook No.7.27
|
file | diff | annotate |
| Fri, 28 Oct 2005 18:25:12 +0200 |
working on simplify_System
|
file | diff | annotate |
| Fri, 28 Oct 2005 15:45:13 +0200 |
simplify_Integral finished
|
file | diff | annotate |
| Fri, 28 Oct 2005 11:22:24 +0200 |
working on simplify_Integral, copied IsacKnowledge/* due to error in MG
|
file | diff | annotate |
| Thu, 27 Oct 2005 17:08:00 +0200 |
redid rls simplify_Integral
|
file | diff | annotate |
| Thu, 27 Oct 2005 11:43:26 +0200 |
coordinate rewriting for Integrate and EqSystem, intermediate
|
file | diff | annotate |
| Wed, 26 Oct 2005 19:25:11 +0200 |
Biegelinie IntegrierenUndKonstanteBestimmen, until 3rd integration
|
file | diff | annotate |
| Wed, 07 Sep 2005 10:11:06 +0200 |
implement simplify_Integral finished
|
file | diff | annotate |
| Wed, 07 Sep 2005 09:44:06 +0200 |
implement simplify_Integral, intermediate
|
file | diff | annotate |
| Mon, 05 Sep 2005 12:51:55 +0200 |
considering normalform for equation system
|
file | diff | annotate |
| Sun, 04 Sep 2005 12:30:26 +0200 |
improved thys for rootpbls
|
file | diff | annotate |
| Fri, 02 Sep 2005 22:55:26 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
| Sun, 28 Aug 2005 16:53:19 +0200 |
corrected error in Add_Find "antiDerivativeName M_b"
|
file | diff | annotate |
| Sun, 28 Aug 2005 16:42:00 +0200 |
search error in Add_Find "antiDerivativeName M_b"
|
file | diff | annotate |
| Sun, 28 Aug 2005 16:09:45 +0200 |
Scripts/scrtools#is_dsc improved
|
file | diff | annotate |
| Sun, 28 Aug 2005 13:47:10 +0200 |
prohibit "FF + c = x ^^^ 3 / 3 + x + c", intermediate state
|
file | diff | annotate |
| Fri, 26 Aug 2005 16:37:39 +0200 |
init_scrstate now optionally takes Finds,too,
|
file | diff | annotate |
| Tue, 23 Aug 2005 18:44:06 +0200 |
make Take works in ["Diff","integration"]
|
file | diff | annotate |
| Tue, 23 Aug 2005 17:08:58 +0200 |
make Take work, intermediate state
|
file | diff | annotate |
| Tue, 23 Aug 2005 14:53:30 +0200 |
make Take work, intermediate state
|
file | diff | annotate |
| Mon, 22 Aug 2005 17:03:25 +0200 |
stacs Take, Substitute added
|
file | diff | annotate |
| Thu, 06 Sep 2007 17:52:58 +0200 |
made smltest run (garbage left from trying to correct Diff)
|
file | diff | annotate |
| Tue, 10 Jul 2007 09:00:04 +0200 |
intermed.work on Diff as CAScmd: still something wrong with next position;
|
file | diff | annotate |