We’re rewarding the question askers & reputations are being recalculated! Read more.

Questions tagged [term-rewriting]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
41 views

how to force TransformationFunctions

I have this function: F[z_, y_, θ_] = Sqrt[3]/(2*π)*w^2/z^2 * Exp[-w^2*(θ^2/z - 3*y*θ/z^2 + 3*y^2/z^3)] I want to calculate ...
2
votes
1answer
56 views

Converting an expression with strings to an association

I have an expression which contains a bunch of strings and some complex valued numeric factors in front. A couple of summands might look like this: ...
27
votes
2answers
1k views

Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis?

Now we can see that Church was associated with the Simply Typed Lambda Calculus. Indeed, it seems he explained the Simply Typed Lambda Calculus in order to reduce misunderstanding about the Lambda ...
8
votes
2answers
976 views

Collect/Factor a fraction

Is there a way to tell Mathematica to factor things only containing a specific combination of a fraction, example: $$\tag{1}f = \frac{a+m\cdot a+b+n\cdot b+c+k\cdot c+d+e}{ab}$$ Is there a way to ...
0
votes
1answer
119 views

Collection prefactors of arbitrary functions

I generated a very lengthy expression in Mathematica which can be written in the form $f(x,y,z)\log(x-y+z) + g(x,y,z)\log(x+y+z) + h(x,y)\log(x+y-z)$ etc. I would like to collect the functions $f(x,y,...
1
vote
0answers
400 views

Write trigs in terms of Cosine only

I have a long expression having terms that go in squares like Sin[x]^2 and Sin[x/2]^2 and so on... I would like to rewrite my ...
3
votes
2answers
253 views

Factor a specific sub-polynomial?

Consider the following example for a polynomial in several variables: ...
0
votes
0answers
844 views

Is there a function equivalent to rewrite function in Sympy

Sympy provide rewrite function to rewrite expression in terms of other functions. ...