Questions tagged [term-rewriting]
The term-rewriting tag has no usage guidance.
14
questions
19
votes
1
answer
758
views
When did this global rules change happen in Mathematica? Is this change documented?
In this Wolfram talk video titled "Professor Richard J. Gaylord's Wolfram Language Fundamentals Part Two" he shows at time 36:45 the following
Where there are two definitions for ...
- 137k
2
votes
1
answer
62
views
How to introduce a symbol for the derivative as a symbol with a point on top?
I am making images in Mma for an article. In a FrameLabel I need to show a text containing a derivative in form of the letter X with a point on top:
I found a special button in Palette "Writing ...
- 38.7k
4
votes
1
answer
100
views
Making a rule that only applies when the expression is NOT an argument?
I know we can make rules of the kind:
magic/:f_[x___,magic[a_],y___]:=f[x,arg[a],y]
This will replace magic[a] by ...
- 872
1
vote
0
answers
44
views
If it possible to define a "function" such that the normal form will have the arguments in order? [closed]
I'm looking for something that acts like this.
How could ord be defined for 2 arguments? What about n?
Since Mathematica is a term-rewriting system it should be possible, but all my attempts were ...
- 872
0
votes
3
answers
159
views
Partial evaluation of a function [duplicate]
In the spirit of a previous question, this is a self-assigned exercise in order to understand how we can control expression evaluation with Mathematica.
So, given the following function definition:
<...
- 1,469
3
votes
7
answers
678
views
Obtaining the terms of a summation alongside the result
I have a Sum expression:
s := Sum[2x,{x,0,3}]
As an exercise to explore the rewriting capabilities of the Wolfram Language, I ...
- 1,469
0
votes
0
answers
65
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
1
answer
78
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:
...
- 265
32
votes
2
answers
3k
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 ...
- 439
8
votes
2
answers
2k
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 ...
- 1,279
0
votes
1
answer
212
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,...
- 391
2
votes
0
answers
770
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 ...
- 1,279
3
votes
2
answers
480
views
Factor a specific sub-polynomial?
Consider the following example for a polynomial in several variables:
...
- 11.9k
0
votes
0
answers
1k
views
Is there a function equivalent to rewrite function in Sympy
Sympy provide rewrite function to rewrite expression in terms of other functions.
...
- 2,541