Category: Eos

Posted on

Eos3.6 on Mathematica 13.1: problems and tentative solution

So far, our test showed  the following incompatibility wi 13.0:

  1. FoldLine specification may have to change since the solution order may be changed.
  2. During the writing of ProofDoc, Mathematica system 13.1 may clash.

In the case of 1, change  FoldLine in the HO  to the appropriate case number.

In the case of 2,  the best solution is to split the goal into smaller ones and try each with Prove command.

Posted on

New publication of our work at Wolfram Community

Email from Editor of Wolfram Community
  • Your post is featured in the editorial columns
– Publication Materials: http://wolfr.am/PubMat
and you are now in the lead of the Featured Contributors board:
Posted on

Email communication between users and this site

Dear Friends,

This site uses Google’s Gmail functionality for outgoing emails from WordPress to your email account. Google has some metrics to determine the emails that their SMTP allows. We recommend that you use the email address domain of a popular mail server, such as gmail.com and yahoo.com, or the one your organization provides to you. The connectivity between our WordPress site and smtp.gmail.com employs the Oauth2 protocol. This change has been made from March 13, 2022

Best Regards,

Tetsuo

Posted on

Error in the init.m

As far as we tested with our set of test programs, Eos3.5.0 runs fine on Mathematica 13.0.0.  The warning message that appeared on the Message Window was due to the typo in the init.m.  If we change the init.m  by the new one we give on the Eos software page (Eos3-5-0), the warning message disappears.

All we have to change is  the following line:

$Path = Join[
{Orikoto`$eosSystemDirectory,
Orikoto`$eosKernelDirectory,
Orikoto`$GAKernelDirectory,$Path}]

to

$Path = Join[
{Orikoto`$eosSystemDirectory,
Orikoto`$eosKernelDirectory,
Orikoto`$GAKernelDirectory},$Path]

Posted on

Message in the Message Window of Mathematica 13.0.0

When we start Mathematica 13.0.0 (Japenese Edition) , we get the following message.

The message does not seem to affect Eos functionality, but we are not sure about the overall functionality of Mathematica?

We wonder the same thing will happen in the English version.

========

BinaryReadList::opstl:
Value of option Path -> {/Users/ida/Library/Mathematica/DocumentationIndice
s, <<3>>, {/Applications/Mathematica 3.app/Contents/SystemFiles/Links,
<<16>>, /Applications/Mathematica 3.app/<<32>>mplified/System/}} should
be a string or a list of strings.

FromCharacterCode::intnm:
Non-negative machine-sized integer expected at position 1 in
FromCharacterCode[$Failed, UTF8].

PacletManager`CreatePaclet::badpi:
/Applications/Mathematica
3.app/Contents/Documentation/English/PacletInfo.wl is not a properly
formatted PacletInfo.wl or PacletInfo.m file.

ReplaceAll::reps:
{PacletManagerPackagePgetExtensions[Documentation]}
is neither a list of replacement rules nor a valid dispatch table, and so
cannot be used for replacing.

ReplaceAll::reps:
{PacletManagerPackagePgetExtensions[Documentation]}
is neither a list of replacement rules nor a valid dispatch table, and so
cannot be used for replacing.

ReplaceAll::reps:
{SystemID, ProductID} is neither a list of replacement rules nor a valid
dispatch table, and so cannot be used for replacing.

General::stop: Further output of ReplaceAll::reps
will be suppressed during this calculation.