Package org.drip.specialfunction.property

Class GaussContiguousEqualityLemma

java.lang.Object
org.drip.specialfunction.property.GaussContiguousEqualityLemma
public class GaussContiguousEqualityLemma
extends java.lang.Object
GaussContiguousEqualityLemma verifies the Hyper-geometric Gauss Contiguous Equality Lemma Properties. The References are:

  • Gessel, I., and D. Stanton (1982): Strange Evaluations of Hyper-geometric Series SIAM Journal on Mathematical Analysis 13 (2) 295-308
  • Koepf, W (1995): Algorithms for m-fold Hyper-geometric Summation Journal of Symbolic Computation 20 (4) 399-417
  • Lavoie, J. L., F. Grondin, and A. K. Rathie (1996): Generalization of Whipple’s Theorem on the Sum of a (_2^3)F(a,b;c;z) Journal of Computational and Applied Mathematics 72 293-300
  • National Institute of Standards and Technology (2019): Hyper-geometric Function https://dlmf.nist.gov/15
  • Wikipedia (2019): Hyper-geometric Function https://en.wikipedia.org/wiki/Hypergeometric_function
It provides the following functionality:
  • Construct the Hyper-geometric Gauss Contiguous Identity #2 Verifier
  • Construct the Hyper-geometric Gauss Contiguous Identity #3 Verifier
  • Construct the Hyper-geometric Gauss Contiguous Identity #4 Verifier
  • Construct the Hyper-geometric Gauss Contiguous Identity #5 Verifier
  • Construct the Hyper-geometric Gauss Contiguous Identity #6 Verifier
  • Construct the Hyper-geometric Gauss Contiguous Identity #7 Verifier

Module Computational Core Module
Library Function Analysis Library
Project Special Function Implementation and Analysis
Package Special Function Property Lemma Verifiers
Author:
Lakshmi Krishnamurthy

  • Constructor Summary

    Constructors
    Constructor Description
    GaussContiguousEqualityLemma()  

  • Method Summary

    Modifier and Type Method Description
    static R1ToR1Property RelationIdentity2​(double a, double b, double c)
    Construct the Hyper-geometric Gauss Contiguous Identity #2 Verifier
    static R1ToR1Property RelationIdentity3​(double a, double b, double c)
    Construct the Hyper-geometric Gauss Contiguous Identity #3 Verifier
    static R1ToR1Property RelationIdentity4​(double a, double b, double c)
    Construct the Hyper-geometric Gauss Contiguous Identity #4 Verifier
    static R1ToR1Property RelationIdentity5​(double a, double b, double c)
    Construct the Hyper-geometric Gauss Contiguous Identity #5 Verifier
    static R1ToR1Property RelationIdentity6​(double a, double b, double c)
    Construct the Hyper-geometric Gauss Contiguous Identity #6 Verifier
    static R1ToR1Property RelationIdentity7​(double a, double b, double c)
    Construct the Hyper-geometric Gauss Contiguous Identity #7 Verifier

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • GaussContiguousEqualityLemma

      public GaussContiguousEqualityLemma()

  • Method Details

    • RelationIdentity2

      public static final R1ToR1Property RelationIdentity2​(double a, double b, double c)
      Construct the Hyper-geometric Gauss Contiguous Identity #2 Verifier
      Parameters:
      a - A
      b - B
      c - C
      Returns:
      The Hyper-geometric Gauss Contiguous Identity #2 Verifier

    • RelationIdentity3

      public static final R1ToR1Property RelationIdentity3​(double a, double b, double c)
      Construct the Hyper-geometric Gauss Contiguous Identity #3 Verifier
      Parameters:
      a - A
      b - B
      c - C
      Returns:
      The Hyper-geometric Gauss Contiguous Identity #3 Verifier

    • RelationIdentity4

      public static final R1ToR1Property RelationIdentity4​(double a, double b, double c)
      Construct the Hyper-geometric Gauss Contiguous Identity #4 Verifier
      Parameters:
      a - A
      b - B
      c - C
      Returns:
      The Hyper-geometric Gauss Contiguous Identity #4 Verifier

    • RelationIdentity5

      public static final R1ToR1Property RelationIdentity5​(double a, double b, double c)
      Construct the Hyper-geometric Gauss Contiguous Identity #5 Verifier
      Parameters:
      a - A
      b - B
      c - C
      Returns:
      The Hyper-geometric Gauss Contiguous Identity #5 Verifier

    • RelationIdentity6

      public static final R1ToR1Property RelationIdentity6​(double a, double b, double c)
      Construct the Hyper-geometric Gauss Contiguous Identity #6 Verifier
      Parameters:
      a - A
      b - B
      c - C
      Returns:
      The Hyper-geometric Gauss Contiguous Identity #6 Verifier

    • RelationIdentity7

      public static final R1ToR1Property RelationIdentity7​(double a, double b, double c)
      Construct the Hyper-geometric Gauss Contiguous Identity #7 Verifier
      Parameters:
      a - A
      b - B
      c - C
      Returns:
      The Hyper-geometric Gauss Contiguous Identity #7 Verifier