MathAction CommonDenominator for polynomials

Topics

FrontPage
- FriCASContributions
  - CommonDenominator for polynomials <-- You are here.

This page presented extension of UnivariatePolynomialCommonDenominator? for arbitrary polynomial categories. FriCAS now contains such extension, so we just present an example.

Example use:

fricas

(1) -> )set mess type off

fricas

)expose PCDEN

   PolynomialCommonDenominator is now explicitly exposed in frame 
      initial 
dom:=DMP([x,y], FRAC DMP([z],INT));

p:dom:=x*y^3/(z^2-1) + 3*x*y/(z^3-1)

$\label{eq1}{{\frac{1}{{{z}^{2}}- 1}}\ x \ {{y}^{3}}}+{{\frac{3}{{{z}^{3}}- 1}}\ x \ y}$

(1)

fricas

commonDenominator p

$\label{eq2}{{z}^{4}}+{{z}^{3}}- z - 1$

(2)

fricas

clearDenominator p

$\label{eq3}{{\left({{z}^{2}}+ z + 1 \right)}\ x \ {{y}^{3}}}+{{\left({3 \ z}+ 3 \right)}\ x \ y}$

(3)

fricas

splitDenominator p

$\label{eq4}\begin{array}{@{}l} \displaystyle \left[{num ={{{\left({{z}^{2}}+ z + 1 \right)}\ x \ {{y}^{3}}}+{{\left({3 \ z}+ 3 \right)}\ x \ y}}}, \: \right. \ \ \displaystyle \left.{den ={{{z}^{4}}+{{z}^{3}}- z - 1}}\right]$

(4)

Subject: Be Bold !!

	( 15 subscribers )