¿Cómo forzar a Mathematica a mostrar un racional con el denominador que especifiqué?

Question

Quiero escribir una función para forzar a Mathematica a mostrar un número racional en un denominador que especifiqué. Por ejemplo, el racional 2/3 con el denominador especificado debe convertirse en 4/6.

Intenté usar HoldForm[] o Unevaluated[], pero sin éxito.

In[1]:= setDenominator[x_, d_] := Unevaluated[Rational[x*d, d]]; 

In[2]:= setDenominator[2/3, 6] 

     2 
Out[2]= - 
     3 

Answer 1

Se puede utilizar un FractionBox con DisplayForm:

setDenominator[x_, d_] := DisplayForm[FractionBox[x*d, d]] 

Answer 2

alternativo para sakra ejemplo sería la de almacenar el valor en la cadena:

setDenominator[x_, d_] := ToString[x d] <> "/" <> ToString[d]; 

Answer 3

HoldForm obras, pero hay que ser astuto para obtener el valor numérico de x*d allí

setDenominator[x_, d_] := HoldForm@Rational[foo, d] /. foo -> x*d 

Esto se puede mejorar agregando algunos controles para la idoneidad de d.

Answer 4

Aquí hay una variación en la idea de Sakra que permite la adición y multiplicación ...

Format[setDenominator[x_, d_]] := DisplayForm@FractionBox[x*d, d] 
setDenominator /: Plus[left___, setDenominator[x1_, d1_], right___] := left + x1 + right; 
setDenominator /: Times[left___, setDenominator[x1_, d1_], right___] :=left*x1*right; 

Ponerlo a prueba:

a = setDenominator[3/5, 10]; 
Print[a, " + ", 2/3, " = " , a + 2/3] 
Print[a, " + ", 2/3, " = " , setDenominator[a + 2/3, 30]] 
Print[a, " × ", 2/3, " = " , a * 2/3] 
Print[a, " × ", 2/3, " = " , setDenominator[a * 2/3, 30]] 
Print[a, " ÷ ", 2/3, " = " , a /(2/3)]