On Fri, 13 Dec 2013, Barton Willis wrote:
> I did this:
>
> (1) From http://sourceforge.net/apps/phpbb/maxima/viewtopic.php?f=3&t=9, follow the link to
> https://github.com/andrejv/discrete.mac/wiki/discrete.mac
>
> (2) download the zip file and unzip it. To try it out, I saved the file to the Windows download folder and
> unzipped it there. You might like to save unzip it to a folder where you keep Maxima files.
>
> (3) I didn't uzip the file to a location Maxima could find, so from a Maxima prompt, I did
>
> (%i1) file_search_maxima : cons("C:/Users/Barton/Downloads/andrejv-discrete.mac-53fac0a/$$$.{mac}", file_search_maxima)$
>
> (%i2) file_search_lisp : cons("C:/Users/Barton/Downloads/andrejv-discrete.mac-53fac0a/$$$.{lisp}", file_search_lisp)$
>
> (%i3) load("C:/Users/Barton/Downloads/andrejv-discrete.mac-53fac0a/logic.mac")$
>
> Of course, you will need to adjust the pathnames. For permanent installation, unzip the file to a folder in
> Maxima's search path.
>
> Examples:
>
> (%i4) boolean_simp(a and a);
> (%o4) a
>
> (%i5) boolean_equiv((a implies b) , not (a and not b));
> (%o5) true
Thanks, I got it working changing the windows-paths to linux-paths. I also
got the other one mentioned in this thread working. Thank you all for
helping me futher.
kind regards,
hugo