Skip to main content
Mathematica

Return to Question

added 83 characters in body
Source Link
Giovanni F.
Giovanni F.
  • 1.9k
  • 13
  • 20

In the documentation for FullSimplify, under Options > Assumptions it is stated that:

When assumptions are given as an argument, $Assumptions is used as well:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), y > 0]]
(* Gamma[x] Gamma[y] *)

Specifying assumptions as an option value prevents FullSimplify from using $Assumptions:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), Assumptions -> y > 0]]
(* Gamma[x] Gamma[y] *)

The resuls are just the same. What is the point?

$Version
(* 10.1.0  for Microsoft Windows (64-bit) (March 24, 2015) *)

In the documentation for FullSimplify, under Options > Assumptions it is stated that:

When assumptions are given as an argument, $Assumptions is used as well:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), y > 0]]
(* Gamma[x] Gamma[y] *)

Specifying assumptions as an option value prevents FullSimplify from using $Assumptions:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), Assumptions -> y > 0]]
(* Gamma[x] Gamma[y] *)

The resuls are just the same. What is the point?

In the documentation for FullSimplify, under Options > Assumptions it is stated that:

When assumptions are given as an argument, $Assumptions is used as well:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), y > 0]]
(* Gamma[x] Gamma[y] *)

Specifying assumptions as an option value prevents FullSimplify from using $Assumptions:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), Assumptions -> y > 0]]
(* Gamma[x] Gamma[y] *)

The resuls are just the same. What is the point?

$Version
(* 10.1.0  for Microsoft Windows (64-bit) (March 24, 2015) *)
Source Link
Giovanni F.
Giovanni F.
  • 1.9k
  • 13
  • 20

What am I missing on this part of the documentation?

In the documentation for FullSimplify, under Options > Assumptions it is stated that:

When assumptions are given as an argument, $Assumptions is used as well:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), y > 0]]
(* Gamma[x] Gamma[y] *)

Specifying assumptions as an option value prevents FullSimplify from using $Assumptions:

Assuming[x > 0, FullSimplify[E^(LogGamma[x] + LogGamma[y]), Assumptions -> y > 0]]
(* Gamma[x] Gamma[y] *)

The resuls are just the same. What is the point?