Re: [sympy] Re: ChatGPT and SymPy

> [1 0 1] >>> >>> Then, we subtracted the second row multiplied by 2 from the third row. This >>> is equivalent to multiplying by the matrix: >>> >>> [1 0 0] >>> [0 1 0] >>> [0 -2 1] >>> >>&g

Re: [sympy] Re: ChatGPT and SymPy

er it involves mathematics. This sort of approach has already been >> proven to be able to solve university math problems (see >> https://www.pnas.org/doi/pdf/10.1073/pnas.2123433119, where they >> literally just take the input problem and prepend "use sympy" and the >&g

Re: [sympy] Re: Releasing SymPy 1.12

> Alternatively, if you are only using SymPy interactively, you can clone the SymPy git repository and run Python (or Jupyter or IPython) from that directory, without installing it. Unfortunately, I don't recommend this because that makes jupyter notebooks appear on the git diff. There are

[sympy] Article about Photomath and its own functional programming language

I have read about the article about how Photomath is developing their own functional programming language in its step-by-step solver https://medium.com/photomath-engineering/advantages-of-using-functional-programming-in-photomath-step-by-step-solutions-e3909f899871 Unfortunately, the article is

Re: [sympy] negative-weight single source shortest paths in near-linear time

I'm not obvious about using the shortest path algorithms to solve the algebraic equations, than the graph connectivity itself. Because we need to find a way how to model the 'distance' parameter as well. Although it could directly model some algebraic problems like "bellman equation" and maybe

Re: [sympy] Dataclasses for symbolic computation

ee symbolic computation implemented in compositions of terms, patterns, combinators, polynomials, logic, grammar sort of thing On Thursday, December 22, 2022 at 1:37:07 PM UTC+2 Oscar wrote: > On Thu, 22 Dec 2022 at 04:52, S.Y. Lee wrote: > > > > Hashcons looks interesting

[sympy] Many-Typed Term System

Sympy runs on the uni-typed system of Basic, and I previously thought that it was fallen from sky, and I also seen coworkers in my work following that practice naively, But now I concluded that the recursive data structure with only one base type (like Basic) is incomplete and leads to very

Re: [sympy] Re: Feedback requested on new deprecations policy

However, in the future, we may need have a complete review guideline even for setting up the parameter names, or to check if the bad naming choices are not marked as positional-only arguments. Although I believe that there are a lot of immature sympy commits before, but this is quite difficult

Re: [sympy] Re: SciPy 2023 CFP

browsers. We may need some fallback tutorials or google colab for tutorial if we see something is broken On Friday, January 6, 2023 at 1:00:38 PM UTC+2 S.Y. Lee wrote: > I have attempted to give a try of > https://github.com/sympy/sympy/pull/24471 > > https://output.circle-artifacts.co

Re: [sympy] Re: SciPy 2023 CFP

asme...@gmail.com wrote: > On Wed, Jan 4, 2023 at 4:49 AM S.Y. Lee wrote: > > > > I think that you need to set up server manually from > > > > python -m http.server -d doc/_build/html > > Ah, I didn't realize that it doesn't work without a web server. make > liveht

[sympy] Re: SciPy 2023 CFP

I think that you need to set up server manually from python -m http.server -d doc/_build/html There are options to use the directive or use the fullscreen

[sympy] Re: SciPy 2023 CFP

I would want to give a try again, I tried to join last conference, but unluckily didn't went well because of COVID. But we use some effort modernizing the tutorial though. On Tuesday, January 3, 2023 at 2:11:39 AM UTC+2 asme...@gmail.com wrote: > The CFP for SciPy 2023 is open >

[sympy] Re: Step-by-Step mathematics in SymPy

have to apologize, I should be. >> I would not want to see this thread contaminated by arguments by >> university major, job experience, ... >> and which makes the conversation toxic and look like a fallacy overall. >> >> On Thursday, December 29, 2022 at

[sympy] Re: Step-by-Step mathematics in SymPy

uld not want to see this thread contaminated by arguments by university major, job experience, ... and which makes the conversation toxic and look like a fallacy overall. On Thursday, December 29, 2022 at 2:34:54 AM UTC+2 S.Y. Lee wrote: > And at least the term-algebraic definition of com

[sympy] Re: Step-by-Step mathematics in SymPy

ing skills, and even more abstract or deeper view of it. On Thursday, December 29, 2022 at 2:23:07 AM UTC+2 S.Y. Lee wrote: > I think that software engineers should be satisfied for solving 'easy' and > 'decidable' problems for derivative, like formal deriviative > <https://en.wik

[sympy] Re: Step-by-Step mathematics in SymPy

I think that software engineers should be satisfied for solving 'easy' and 'decidable' problems for derivative, like formal deriviative , which is sometimes a sound reasoning for the actual physical/analytical derivative, however, not always.

[sympy] Step-by-Step mathematics in SymPy

There are some of step-by-step solvers out in the market - Qanda - Photomath - Wolfram Alpha Pro - Microsoft Math - Integral Calculator I'd

Re: [sympy] Dataclasses for symbolic computation

Hashcons looks interesting, but as simple as making every object as singletons I would have a question how this would be implemented effectively on top of python, for example, how to keep the hash table not grow infinitely with dead references. On Monday, December 19, 2022 at 4:20:50 PM UTC+2

Re: [sympy] Re: ChatGPT and SymPy

> My hope is that tools like SymPy can be used as oracles for tools like GPT to help them verify their mathematics. In the most general context, "correct mathematics" can also be considered some "grammar". So there should be some grammar between Type-0 grammar to Type-1 grammar in Chomsky

[sympy] Dataclasses for symbolic computation

After Python 3.6 dataclasses were introduced. Usually, the basic objects of symbolic computation (term) is based on syntactic equality between the objects, which has isomorphism or homomorphism (if there is eager evaluation) from term algebra , which

Re: [sympy] Dimensional Analysis

If you expect correct decimal arithmetic and rounding, it could be better look at the alternatives like decimal library. I don't think that there is any good unified library of combining arbitrary precision arithmetic with different rounding

Re: [sympy] Simple methods for row operations

This could be similar and have applications like intrinsic functions . In lower-level programming, it is often more efficient to use more specific methods (like unsigned + unsigned addition, scalar and vector multiplication, vector and vector

Re: [sympy] Faster symbolics

How could the future of the fast expression evaluation be suggested? Would it be making the assumption system faster? Or would it be choosing carefully between 'easy assumptions' and 'hard assumptions' with time complexity analysis? Or would it be not using assumption system at all, but may be

[sympy] Re: Symbolic Continuous Fourier transforms like in Mathematica in SymPy

I'd refer to a previous discussion https://groups.google.com/g/sympy/c/e8GiLUsr9eo/m/YKJ8sfHjBAAJ. On Thursday, February 24, 2022 at 4:27:25 PM UTC+9 ranjithra...@gmail.com wrote: > Dear all, > I am new to this Google group. > >- I have been using Python for 3 years. >- I am a PhD

[sympy] Re: Step-by-step algorithms using SymPy

How much maturity of implementing integration, limit, or series do you request for? Usually, the working professional level of implementing difficult algorithms for integration or limit, goes as par as people who can understand and implement Risch algorithm or holonomic functions. But I believe

[sympy] Re: Step-by-step algorithms using SymPy

Hello, I am verified sympy contributor and currently working as a math engine developer for Mathpresso, inc. I have 2 years of experience of working with computer algebra systems and educational technology . I'm interested developing the knowledge and tricks of using computer algebraic tools

Re: [sympy] [Proposal] Mutable expressions in SymPy

I'm not sure if you have heard about, or familiar with term graph , but I think that this can have the potential to generalize Basic object and make it to be a more efficient form, without 'mutability' trick to reduce the time and space complexity. On

Re: [sympy] SymPEP: make MatchPy a SymPy dependency

Although the matchpy gives of AC1-matching capability as far as I'm aware, I just have a question that if is it really general enough. I'm aware that general equational matching could be an undecidable problem, and hence there are lots of matchers or unifiers that handles some domain-specific

Re: [sympy] Equivalent mathematica implementation of Fourier transform relevant functions in sympy.

I don't think that we have algorithms for discrete sin, cosine transforms. You would have to come up with any ideas of implementing fast transformation algorithms for symbolic computation, but I would defer them for now unless I have idea about how to do that by some efficient algebraic

Re: [sympy] SymPy in 10 minutes

the benefits of having sympy-notebooks as a separate repository > >>> is that we don't necessarily need to worry about those things. I would > >>> be in favor of just merging things into sympy-notebooks as long as > >>> they look OK. We don't need to apply th

[sympy] Re: Need help with Fourier transform

I think that we need to improve the integrator capability, but usually that is one of the most difficult thing to do. For Fourier transformation to give general functional results (DiracDelta) than improperly integrable functions, I'm not sure meijerint is sufficient for that. But if that is

Re: [sympy] SymPy in 10 minutes

I don't think that we can utilize sympy-notebooks repository properly unless we figure out how to test out the notebook outputs, integrate with sympy releases, matching version compatibility, and link with documentations. Setting up this workflow is important, and once this workflow is set, I

Re: [sympy] Gsoc Idea Discussion

Mind me jumping in the discussion for this, but I have some comments The important aspect of DomainMatrix is that the computations should be 'rational' (which can be generalized up to 'multivariate rational function field') So I don't think that you can implement cholesky or hessenberg or

Re: [sympy] Linear Inequality Simplifier

f I understood right, Matric A is the lhs of > the constraints, matric B is the rhs, matric c is the objective, and D is > the lower bounds. if I am wrong I would be happy if you could tell me why) > > On Thu, 31 Dec 2020 at 23:38, S.Y. Lee wrote: > >> I have a full implementati

Re: [sympy] [SymPy] Is this a bug or a feature?

I was not very fond for defining sympy Add, Mul, Pow or Function application for equation object because I don't think that the algebra of equation looks well unifiable with other mathematical objects like Expr at the first glance, And I think that it's important to introduce Add, Mul, Pow, or

Re: [sympy] Re: Useful GSoC Idea

I have also seen that meijerg integration can give imprecise result for convergence for some cases https://github.com/sympy/sympy/issues/16242. I'm not sure if this problem can be solved algorithmically, but if it can't I think that we have other technical reason to have table lookups for

[sympy] Re: We need some community input on the desired behavior of an equation class...

I think that the clear difference between Eq and Eqn should be. So if the operations like "divide sides" are going to be implemented for `Eq` in parallel, I think that it's better to see more logical framework there (like giving conditions where division is possible or not), to distinguish it

[sympy] Re: We need some community input on the desired behavior of an equation class...

I have previously questioned that Wolfram have a == b -> a/c == b/c transformation in conditional expression format https://reference.wolfram.com/language/ref/DivideSides.html and why you were not attempting to implement same like this, But now I'd may agree on that if we treat such examples as

Re: [sympy] Linear Inequality Simplifier

I have a full implementation of linear programming in https://github.com/sympy/sympy/issues/20391 Although if you may or may not want the code, I hope it can reduce any duplicate efforts if you were intending to implement the same method. On Thursday, December 31, 2020 at 5:58:55 AM UTC+9 Oscar

Re: [sympy] powers in the mathematica parser and *^

**, *^ are not valid Mathematica syntax for powers. ** is noncommutative multiplication https://reference.wolfram.com/language/ref/NonCommutativeMultiply.html and *^ is scientific notation https://reference.wolfram.com/language/guide/Syntax.html Also ^^ is the expressed in b-base So the

[sympy] Re: Scope of a function to generate list of primitive roots of a given number

Although we already have primitive_root and is_primitive_root, it can be added because there is no way to generate every primitive roots under n straightforward way https://reference.wolfram.com/language/ref/PrimitiveRootList.html But I'd appreciate more research on this such that it can use

[sympy] Re: Integer Factorization

What is factorDB? Does it offer any fast algorithm for factoring integers in its own, or does it requires some internet connection to access a database of integer factors. Although I'm open to any possibilities, but I'm not sure that stuff needs internet connection can be in a scope of

[sympy] Re: GSOD Project Discussuion

It depends on what kind of topics you are comfortable to work with, but I'm sure that even the core docs are too outdated https://docs.sympy.org/latest/modules/core.html and doesn't follow the style guide. On Wednesday, June 10, 2020 at 2:04:13 PM UTC+9, Soumi7 wrote: > > I want to do a GSOD

Re: [sympy] doubt related to GSoD

I had some similar doubts for writing tutorials or filling missing gaps of docstrings, which I believe is one of the biggest parts of sympy documentations. For example, we have high level documentation ideas in https://github.com/sympy/sympy/wiki/GSoD-2020-Ideas. But I'm unsure if the authors

[sympy] Re: coverage_doctest.py module

I had previously investigated some old executables in bin, but I neither have found it working. Although we can figure out how to make it work, we don't have to maintain the testing utilities, but I'd not remove them first if coveragepy cannot superset these features. So if you can get it

Re: [sympy] dot multiplication with matrix of variables

It's better work on matrix expressions I also don't think that x, y should be numeric matrices if they are random matrices. Now, the problem is the matrix derivative is computed wrong when it's derived with it's own elements But when I tried with https://github.com/sympy/sympy/pull/17232 and

Re: [sympy] Reason for this output.

The error message indicates autosummary, We are not using autosummary in master yet. So it's likely that you have experimented with the doc locally and have some stub files generated somewhere. On Thursday, May 28, 2020 at 6:39:54 AM UTC+9, Mohit Shah wrote: > > I got that. > :members: only

[sympy] Re: Question on using Symbol as instance naming

So if those Tuple and Dict stay, I don't think that it gives a sufficient reason that string is any exception than that. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [sympy] Re: Question on using Symbol as instance naming

hen. I don't think the > codegen classes should be used outside of codegen. They are designed > to represent abstract programming language concepts for generating > code. > > Aaron Meurer > > On Thu, May 28, 2020 at 1:15 AM S.Y. Lee > > wrote: > > > > I hav

[sympy] Re: Question on using Symbol as instance naming

I haven't been part of the discussion back then. But I am also weighted toward having a separate string classes because 1. Symbol is actually more heavier strings because assumptions are stored and checked against. 2. I also see that atomic String class is implemented in codegen.ast

[sympy] Re: Can a GSOD slot be used to improve the website?

It just gives an another reason to hurry up setting up the static web framework. Unfortunately, I don't think that it is possible to edit sympy.org than messing with html files, besides the translations, so it will not be easy for technical writers. On Tuesday, May 26, 2020 at 1:20:01 AM

[sympy] Re: Error while following steps of sympy document

Have you tried sudo apt-get update On Tuesday, May 26, 2020 at 10:49:46 PM UTC+9, Mohit Shah wrote: > > I am getting the following error while I was following steps through sympy > document. Please help to resolve this error. > Thanks > > [image: SympyError.PNG] > > -- You received this

[sympy] Re: Can a GSOD slot be used to improve the website?

I see numpy.org is now using hugo. We may have consider changing the static site generator like https://github.com/numpy/numpy.org/issues/29 On Tuesday, May 26, 2020 at 1:20:01 AM UTC+9, Jason Moore wrote: > > I was admiring the new NumPy website: https://numpy.org/ and thinking how > some of

[sympy] Re: is_indefinite returns nothing or error: 'simplify' flag is unsupported in roots()

I've opened an issue at https://github.com/sympy/sympy/issues/19365 On Thursday, May 14, 2020 at 5:07:10 PM UTC+9, JS wrote: > > Hello, > I have run into a problem with various matrices. I have read Gotchas and > Pitfalls and tried to search around, but I was unable to find anything > relevant.

[sympy] Re: Elements of a permutation group in fixed order

You should sort the arguments before passing to PermutationGroup. On Thursday, May 14, 2020 at 5:07:10 PM UTC+9, Rafael wrote: > > > If G is a permutation group, then since G.elements is a set, I cannot > expect that list(G.elements) always lists the elements in the same > order. Can I expect

[sympy] Re: Google Season of Docs organization application

I have also submitted the form to mentor the program. On Tuesday, April 14, 2020 at 5:36:55 AM UTC+9, Aaron Meurer wrote: > > The Google Season of Docs (GSoD) organization applications are now > open. See https://developers.google.com/season-of-docs/docs/admin-guide. > > If anyone is interested

[sympy] Re: Gradient of a vector

SymPy defines gradient only for scalar valued function. Do you mean that gradient of vector valued function should return other stuff like jacobian? On Saturday, April 25, 2020 at 3:44:15 AM UTC+9, Alexander Lindsay wrote: > > I've been using the capabilities in sympy.vector for generating MMS

Re: [sympy] Symbolic integrator using a neural network

They have opened the source code and the dataset https://github.com/facebookresearch/SymbolicMathematics On Saturday, January 11, 2020 at 2:25:40 AM UTC+9, Aaron Meurer wrote: > > For those who didn't see, the final paper was posted with many updates > https://arxiv.org/abs/1912.01412. The

[sympy] Re: Google Season of Docs organization application

I'm interested in joining the GSoD as a mentor, for some prior experiences in solving the sphinx issues in the community. But I'd have some other questions to clarify what kind of ideas from below are clearly out of scope regarding the comment. Ideas that involve writing code are generally out

[sympy] Re: Powers of non-square matrices

But I think that the conservative change is making MatPow(A, 1) and MatPow(A, 0) unevaluated objects that doesn't canonicalize to anything. And I also find the idea of generic identity confusing. On Friday, April 10, 2020 at 10:18:03 PM UTC+9, jlh wrote: > > Hello everyone! > > I noticed that

[sympy] Re: Any way to define a function with parameters?

I don't think that a*x**2 + b*x + c.is actually considered a 'Function', but just as an 'Expression' in sympy. And literally you can just apply (a*x**2 + b*x + c).subs({a: 1}) to do evaluations with respect to any variables. On Friday, March 27, 2020 at 6:09:10 PM UTC+9, Jisoo Song wrote: > >

[sympy] Re: isinstance and MatrixSymbol

I think that this is a gotcha with Python. Python already returns False when checking out isinstance(int, int). And in general OOP theory, class and instance should be different. If you want to compare the class by class, then comparing with == or issubclass should suffice. On Thursday, March

[sympy] Re: SciPy tutorial

Okay, I see SciPy tutorial proposal is submitted. I'm not sure when would they respond whether we're accepted or not, but would it be March 30? On Wednesday, December 18, 2019 at 4:11:16 AM UTC+9, Aaron Meurer wrote: > > SciPy 2020 has opened the call for proposals. I'd like to gauge if >

[sympy] Re: Permutation group triple product property

Implementing *Permutation group triple product property* as > suggested by *S.Y. Lee* here (https://github.com/sympy/sympy/issues/18525 > <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fsympy%2Fsympy%2Fissues%2F18525=D=1=AFQjCNHTJWoVceOSjRoYApYMIW4GRmq7Bg> > ). > You can see

[sympy] Re: SciPy tutorial

Sorry that I had replied late. I was watching this thread for some time and I was interested in participating in SciPy 2020 tutorial to reach the audiences who may use SymPy, as far as I have watched the progress of SymPy. But I've always have concerned about the acceptance rate of SymPy

[sympy] Re: Regarding Contour Integration

Can you elaborate the idea of a complex number module which can add and subtract? For example, do you want to represent things coerced into a 2-tuple representation, than representing everything with a multiplication with imaginary unit? On Wednesday, December 18, 2019 at 5:56:59 PM UTC+9,

[sympy] Re: Adding a new package for signal processing.

In my opinion, most of the stuff like `DFT`, `FFT` doesn't need a standalone package, but can be implemented as some improvements over the current `discrete` module, or `matrices`, `array` module. I'd contribute most of the stuff down in the core mathematics than some engineering package if

[sympy] Re: Check if polynomial has complex coefficients

I'm not sure why it's treated as an polynomial over integers generated by `I, x` rather than a polynomial over complexes generated by `x`, but surely there can be some limited supports for this. On Sunday, January 19, 2020 at 7:24:54 PM UTC+9, Risubh Jain wrote: > > What is the correct way of

[sympy] Re: Taking Cosine of Quantum Opertor

Unfortunately, there may not be any API to compute the matrix cosine or a matrix sine (I'm not familiar with the topic of quantum mechanics, but if you mean by computing the matrix-valued functions with diagonalization) And unfortunately, I'm not very willing to introduce some new

[sympy] Re: Adding a new package for signal processing.

I'm not sure that pole_zero_plots, z-transforms are the stuff that are purely signal processing project. Can they be done under the umbrella of the control systems framework? But of course they can be similar in the nature. On Thursday, January 23, 2020 at 2:16:08 PM UTC+9, Chanakya Ajit Ekbote

[sympy] Re: Gsoc Project idea " Efficient Equation of Motion Generation with Python" discussion.

This looks like an old topic, but I stumbled across the Coppersmith-Winograd algorithm so I'm going to reply over this https://www.sciencedirect.com/science/article/pii/S0747717108800132 it was quite difficult to understand the paper, but I'd suspect that the coppersmith algorithm is about

[sympy] Re: GSoC 2020

Hello, I have updated the GSoC idea page for the idea prompt of the matrices module, because I find that there are a lot of moderate-difficulty maintenance problems in the module that can be achievable by with a regular amount of time and effort devoted. But since I haven't participated in

[sympy] Re: What is the difference between Basic and Expr?

I see ImmutableSparseMatrix is lacking some properties that ImmutableDenseMatrix has, like is_ZeroMatrix, ... and it's causing some problems in MatMul. On Monday, December 2, 2019 at 10:59:08 AM UTC+9, JS S wrote: > > Sorry for duplicate question - my previous one didn't get any answer so I

[sympy] Re: SymPy - a suggestion

It would be a good idea about making a new frontend for our project. However, I think that if we make our own frontend from the scratch, we should either have to prove that we have features more efficient, or more unique from the Jupyter notebook, to make a standpoint. For things that can

[sympy] Re: Creating a new matrix with removing columns in anoter doesn't work

Matrices are mutable as default in SymPy. You would either have to copy >>> from sympy import * >>> q = Matrix([[x,x+1],[x-1,x+2]]) >>> w = q.copy() >>> w.col_del(0) Or use ImmutableMatrix >>> from sympy import * >>> q = ImmutableDenseMatrix([[x,x+1],[x-1,x+2]]) >>> w = q >>> w1 =

[sympy] Re: Azure pipelines

There had been some issues with azure pipelines with conda environment setups, and I would also agree that some features are not better than travis. However, I have a question that, if they are offering free resources for open source projects, we may allocate some of the tests to azure, which