Hi,
Post by Robert DodierYeah ... it appears that ANTISYM1 wasn't called. How did that happen?!
Here's something else to try.
:lisp (trace antisym antisym1 bbsort1 neg mnctimesp simpnct $atom)
and then declare(mult, antisymmetric); and mult(b, a); as before. What
do you get?
I get this:
(%i1) display2d:false;
(%o1) false
(%i2) :lisp (trace antisym antisym1 bbsort1 neg mnctimesp simpnct $atom);
(ANTISYM ANTISYM1 BBSORT1 NEG MNCTIMESP SIMPNCT $ATOM)
(%i2) declare(mult,antisymmetric);
(%o2) done
(%i3) mult(b,a);
1> (ANTISYM (($MULT (0 "stdin" SRC)) $B $A) NIL)
| 2> ($ATOM (($MULT (0 "stdin" SRC)) $B $A))
| <2 ($ATOM NIL)
<1 (ANTISYM (($MULT SIMP (0 "stdin" SRC)) $A $B))
(%o3) mult(a,b)
Post by Robert DodierPost by Stanislav Maslovski(%i4) load("asum.lisp");
file_search1: asum.lisp not found in
file_search_maxima,file_search_lisp.
Are the source code files packaged with Maxima on Android? Does Android
have a file system in a Unix-ish or Windows-ish sense? If yes to both
questions, can you determine the actual location of asum.lisp and then
try load("/some/path/to/asum.lisp"); instead?
Android has a unix-like filesystem. The Maxima-related files are placed under this directory (as I guess based on the content of file_search_lisp variable):
/data/data/jp.yhonda/
Here is what I did. I defined a function:
find(s,f) := block([n,d], for n in directory(sconcat(s,f)) do print(n), for d in directory(sconcat(s,"*/")) do find(d,f));
And then ran it like this:
find("/data/data/jp.yhonda/","a*.lisp");
This produced this list of lisp source files starting with "a":
(%i20) find("/data/data/jp.yhonda/","a*.lisp");
/data/data/jp.yhonda/files/maxima-5.39.1/share/sym/arite.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/contrib/noninteractive/asksign1.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/contrib/altsimp/altsimp.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/contrib/alt-display/alt-display.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/colnew/lisp/appsln.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/colnew/lisp/approx.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/amatrix/amatrix.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/affine/aquotient.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/affine/amacros.lisp
/data/data/jp.yhonda/files/maxima-5.39.1/share/affine/affine.lisp
(%o20) done
There is no "asum.lisp" (or any "asum.*") though:
(%i21) find("/data/data/jp.yhonda/","asum.*");
(%o21) done
--
Sent from my Android device with K-9 Mail. Please excuse my brevity.