https://github.com/barton-willis/check_maxima_expression

Check a Maxima expression of missing simp flags and other defects.
https://github.com/barton-willis/check_maxima_expression

Last synced: 4 days ago
JSON representation

Check a Maxima expression of missing simp flags and other defects.

• Host: GitHub
• URL: https://github.com/barton-willis/check_maxima_expression
• Owner: barton-willis
• License: cc0-1.0
• Created: 2024-07-10T13:03:38.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2024-07-14T08:58:37.000Z (4 months ago)
• Last Synced: 2024-07-14T19:22:27.376Z (4 months ago)
• Language: Common Lisp
• Size: 17.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Check maxima expression

 The function `check_expression` checks a Maxima expression for missing `simp` flags and a few other defects. This function might be useful for developers but is unlikely to be useful to general users.

 To use this function, put the file `check-expression-p.lisp` in a directory that Maxima can access. After that, load the file using the command:

 ```

(%i1) load("check-expression-p.lisp")$

```

For a valid Maxima expression, `check_expression` returns `done`:

```

(%i2) check_expression(a+b);

(%o2) done

```

Here is an example of an expression with a missing `simp` flag:

```

(%i3) :lisp(msetq \$xxx '((%sin simp) ((%sin) 7)))

(%i3) check_expression(xxx);

Bad expression: expr = sin(7) ; reason = missing-simp-flag

(%o3)  false

```

And a test that shows that `check_expression` flags a Common Lisp rational number as invalid:

```

(%i4) :lisp(msetq \$xxx (/ 5 7))

(%i4) check_expression(xxx);

                       5

Bad expression: expr = ─ ; reason = cl-rational

                       7

```