Mathematica 12.3.1

Cloud 版より早く Wolfram Engine のリビジョンが上がりました．

$ sudo bash ./WolframEngine_12.3.1_LINUX.sh

-----------------------------------------------------------------------------------------------------------------
                                         Wolfram Engine 12.3 Installer 
-----------------------------------------------------------------------------------------------------------------

Copyright (c) 1988-2021 Wolfram Research, Inc. All rights reserved.

WARNING: Wolfram Engine is protected by copyright law and international treaties. Unauthorized reproduction
or distribution may result in severe civil and criminal penalties and will be prosecuted to the maximum
extent possible under law.

Enter the installation directory, or press ENTER to select /usr/local/Wolfram/WolframEngine/12.3:
> 

The selected directory contains files and/or directories that may be overwritten during installation. If
you have any files you wish to keep in this directory, you should exit the installer and move the files to
a separate directory before continuing.

Overwrite directory (y/n)?
> y

Now installing...

[**************************************************************************************************************]

Type the directory path in which the Wolfram Engine script(s) will be created, or press ENTER to select
/usr/local/bin:
> 

  (1) Overwrite
  (2) Rename
  (3) Cancel

Type your selection, or press ENTER to select (1):
> 


Installing WolframScript system integration...

Installation complete.

$ wolfram
Wolfram Language 12.3.1 Engine for Linux x86 (64-bit)
Copyright 1988-2021 Wolfram Research, Inc.

In[1]:= $Version                                                                                                 

Out[1]= "12.3.1 for Linux x86 (64-bit) (June 24, 2021)"

In[2]:= Reduce[ForAll[{x,y},x^2+y^2<=b,x^4+y^4+2*a*x*y<=1],{a,b},Reals] // Timing                                

Out[2]= 
{3.987473, (a <= -Sqrt[2/3] && b <= a + Sqrt[2 + a^2]) || 
  (Inequality[-Sqrt[2/3], Less, a, LessEqual, Sqrt[2/3]] && b <= Sqrt[2 - a^2]/Sqrt[2]) || 
  (a > Sqrt[2/3] && b <= -a + Sqrt[2 + a^2])}