Changes between Version 8 and Version 18 of Ticket #237


Ignore:
Timestamp:
08/15/21 17:41:16 (2 months ago)
Author:
slelievre
Comment:

The function algdep can help identify algebraic numbers.

It would be nice to be able to identify transcendental expressions as well.

Some more links:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #237

    • Property Authors changed from to Keshav Kini
    • Property Cc slelievre added
  • Ticket #237 – Description

    v8 v18  
    11It would be nice to have some sort of inverse expression finder that takes a real number and returns possible identities it might be, like the identify Maple command or the Inverse Symbolic Calculator of yore.  This could be via a web interface or by having an spkg (perhaps optional) for such functionality.
     2
     3Related:
     4
     5- !SageMath's `algdep` aka `algebraic_dependency` function: [https://github.com/sagemath/sage/blob/9.4.rc2/src/sage/arith/misc.py#L44 code] - [https://doc.sagemath.org/html/en/reference/rings_standard/sage/arith/misc.html#sage.arith.misc.algdep docs]
     6  - based on PARI's algdep
     7  - also available as a method of various classes of floating-point numbers
     8- Ordner: [https://fungrim.org/ordner/ Ordner home] - [http://fredrikj.net/blog/2019/09/what-is-the-most-common-real-number/ blog post introducing Ordner]
     9- [https://xkcd.com/1047/ xkcd comic: Approximations]
     10- [http://mrob.com/pub/ries/ RIES]
     11- [https://www.maplesoft.com/support/help/Maple/view.aspx?path=identify Maple's "identify"]
     12- !SageMath's interface to the OEIS: [https://github.com/sagemath/sage/blob/develop/src/sage/databases/oeis.py code] - [https://doc.sagemath.org/html/en/reference/databases/sage/databases/oeis.html docs]
     13- [https://groups.google.com/g/sage-devel/c/M5oqX85XgU0 sage-devel 2012-04 discussion]
     14- [http://web.archive.org/web/20150727021614/http://oldweb.cecm.sfu.ca/projects/ISC/ISCmain.html Former ISC at CECM]
     15- [https://web.archive.org/web/20180828122202/http://isc.carma.newcastle.edu.au/ Former ISC at CARMA]
    216
    317----
    418
    5 Old summary was "create an interface to the "Inverse Symbolic Calculator"
     19Original ticket title and summary:
    620
    7 Write a function that queries this web pge and gives the result:
     21Create an interface to the "Inverse Symbolic Calculator"
     22
     23Write a function that queries this web page and gives the result:
    824
    925    http://oldweb.cecm.sfu.ca/projects/ISC/ISCmain.html
    1026
    1127See sage/databases/sloane.py for ideas for how to do this.
    12