# Questions tagged [term-rewriting]

The tag has no usage guidance.

10 questions
Filter by
Sorted by
Tagged with
54 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: <...
227 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 ...
42 views

### how to force TransformationFunctions

I have this function: F[z_, y_, θ_] = Sqrt/(2*π)*w^2/z^2 * Exp[-w^2*(θ^2/z - 3*y*θ/z^2 + 3*y^2/z^3)] I want to calculate ...
57 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: ...
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 ...
1k 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 ...
125 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,...
433 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 ...