{@admin, if it makes good sense, please create a domain for all things Symbolically Maths+Logics (Symbolic Solutions? [your choice] ) and move this topic there - - thank you} @rfateman @certik @carette What is your perspective on the relative benefit and concomitant cost to providing a low-level in…

AHA, thanks for the clarification. I did not think that opt-in was related to the use of defgeneric, which is optional. I think of Common Lisp as a multi-paradigmatic language. You have many choices. Structures, Arrays, Lists, hashtables, … you also have functions, methods, macros, compiler macros…

[image] rfateman: No, it’s pointless to say “we will build a CAS in Julia that will be better” based on claims of language superiority. I think you’re imputing a more lofty claim than the claim that the Julia CAS developers are making. I’m not involved in the Julia CAS work, and I’ve only bee…

I quote SymPy� is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible.� SymPy� is written entirely in Python. … Given the goal as you interpret i…

[image] rfateman: Given the goal as you interpret it, it seems that time might be better spent on writing a program STJ , a SymPy to Julia translator This is a FAQ — you don’t get any performance boost by “transpiling” from another language, because the whole performance benefit of Julia deri…

I spent 1,000+ hours over the past 10+ years using CAS (commercial & open source) to solve symbolic problems. I exchanged dozens of emails/phone calls w/ Mathematica’s tech support engineers. My main concerns w/ current CAS is they often: A. give more complicated solutions than necessary (eg using…

FWIW this Discourse forum supports Markdown, single backticks for inline monospace and triple backticks for ``` blocks ``` and dollar signs for \LaTeX. I realize some people prefer not to use it, just figured I’d mention it.

It might be worthwhile to remember that this is not about millisecond versus microsecond: Some years ago I was deriving some analytical expressions resulting from products of symbolic matrices in Matlab (mupad). The process was started in the morning, and finally by the morning the next day it choke…

I want to just say that it seems like the original intention of this thread was to solicit concrete advice about designing and implementing a CAS from people with experience. It has turned into a somewhat tense back and forth about whether that is worth doing and whether the Julia language is better…

Just looking over this note again, I see you refer to Lample’s paper on neural networks and symbolic integration, a paper which is reviewed here (trying to give them the benefit of the doubt, but critical) LampleAndCharton.pdf 98.60 KB but I would be more …

Some food for thought, :sunglasses: Example Code using Nemo, and using Hecke Computer Algebra for your consideration #### # Example Code using Nemo, and using Hecke Computer Algebra and Number Theory Packages for Julia - 1705.06134.pdf @@ https://arxiv.org/pdf/1705.06134.pdf # # NOTE Don't whack yo…

CAS Best Practices

Specific Domains Machine Learning

Topic		Replies	Views
[ANN] Symbolics.jl: A Modern Computer Algebra System for a Modern Language Package Announcements	146	50096	May 10, 2024
CAS benchmarks (Symbolics.jl and Maxima) Performance symbolic	36	9577	April 5, 2021
Porting a CAS to Julia General Usage	21	3847	April 24, 2018
Symbolic computation in Julia with lisp/reduce; and calling Julia from LaTeX Internals & Design package , proposal	32	7804	October 29, 2020
SymPy.jl vs SymEngine.jl vs Reduce.jl vs General Usage	23	13515	October 27, 2020

CAS Best Practices

Related topics