# All Questions

25 questions
Filter by
Sorted by
Tagged with
70 views

### Lambda calculus reduction in Mathematica

Are there any built-in functions for reducing lambda terms in Mathematica? If not, how might one do it? I've heard of Function, which is good for $\beta$-reduction, ...
36 views

### Construction of symmetric function / matching function argument patterns

[Edited for clarification after comment] Suppose that the function f is defined as the linear combination of several translated/reflected functions starting from the primitive f0[x,y,z] ...
76 views

### How to pass lists as arguments in NMinimize or FindMinimum?

The following code runs in Mathematica 12. But, I have two problems that I would like to solve: (1) How to pass a list as an argument to the function g in such a way that it can be used seamlessly ...
49 views

### How to declare derivatives of a multivariable function as real in order to get Re and Im part of the expression?

Re and Im work properly, with appropriate assumptions, in the example like this ...
61 views

### How to define a named constant with evaluation rules similar to GoldenRatio?

I want to define a named constant standing for a more complicated symbolic expression, for example, PlasticConstant for the plastic constant: ...
50 views

### Function definition interrupts pattern matching?

I'm trying to redefine NonCommutativeMultiply (NCM) to behave like an anticommuting operator, based on the question here. This involves calling Unprotect on NCM and adding a definition that leaves <...
54 views

### RegionMember not returning analytical result

From this question I'm using a function by kglr to find the inequality constraints for a shape. The function is this ...
539 views

### Recursive function for Integration by parts algorithm

I need to write a function that performs repeatedly integration by parts on an integral, in views of transferring the derivatives from one function to the other. For example, in the case where the ...
93 views

### Jordan product in Mathematica

Does anyone know how to best handle non-associative operations in Mathematica? I am specifically interested in finite commutative Jordan algebras. I would like to construct a product operator x such ...
156 views

### Defining general odd function

I would like to define some function $f$ that is odd, $f(-x)=-f(x)$, and can be used in symbolic computations. I am a bit more ambitious than this question and its answers. One way of achieving my ...
321 views

### How to define homogeneous functions that respect Euler's theorem of homogeneous functions?

A homogeneous function of degree $k$ is defined as a function that observes the following specification rule: $f(a x_1, a x_2, ..., a x_n) = a^k f(x_1, x_2, ..., x_n)$ (see Wikipedia entry, ...