ExprImpl

java.lang.Object
- org.matheclipse.core.expression.ExprImpl

All Implemented Interfaces:

edu.jas.structure.AbelianGroupElem<IExpr>, edu.jas.structure.Element<IExpr>, edu.jas.structure.GcdRingElem<IExpr>, edu.jas.structure.MonoidElem<IExpr>, edu.jas.structure.RingElem<IExpr>, java.io.Serializable, java.lang.Comparable<IExpr>, org.apache.commons.math4.FieldElement<IExpr>, IExpr

Direct Known Subclasses:

AbstractFractionSym, AbstractIntegerSym, ApcomplexNum, ApfloatNum, Blank, ComplexNum, ComplexSym, ExprID, Num, PatternSequence, StringX, Symbol
```
public abstract class ExprImpl
extends java.lang.Object
implements IExpr, java.io.Serializable
```
Abstract base class for atomic expression objects.

See Also:

Serialized Form

Field Summary
- Fields inherited from interface org.matheclipse.core.interfaces.IExpr
  ASTID, BLANKID, COMPLEXID, DOUBLECOMPLEXID, DOUBLEID, FRACTIONID, INTEGERID, METHODSYMBOLID, PATTERNID, STRINGID, SYMBOLID

Constructor Summary

Constructors
Constructor and Description

ExprImpl()

Constructors
Constructor and Description
`ExprImpl()`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Deprecated Methods
Modifier and Type	Method and Description
`IExpr`	`$div(IExpr that)` Operator overloading for Scala operator `/`.
`IExpr`	`$minus(IExpr that)` Operator overloading for Scala operator `/`.
`IExpr`	`$plus(IExpr that)` Operator overloading for Scala operator `+`.
`IExpr`	`$times(IExpr that)` Operator overloading for Scala operator `*`.
`IExpr`	`$up(IExpr that)` Operator overloading for Scala operator `^`.
`IExpr`	`abs()` Absolute value of this.
`IExpr`	`and(IExpr that)`
`IExpr`	`apply(IExpr... leaves)`
`IExpr`	`apply(java.util.List<? extends IExpr> leaves)`
`java.lang.Object`	`asType(java.lang.Class<?> clazz)`
`int`	`compareTo(IExpr expr)` Compares this expression with the specified expression for order.
`INumber`	`conjugate()`
`IExpr`	`copy()` Clone this Element.
`IExpr`	`dec()` Returns an `IExpr` whose value is `(this - 1)`.
`IExpr`	`divide(IExpr that)` Returns an `IExpr` whose value is `(this / that)`.
`IExpr[]`	`egcd(IExpr b)` Extended greatest common divisor.
`org.apache.commons.math4.complex.Complex`	`evalComplex()` Evaluate the expression to a `INumber` value.
`double`	`evalDouble()` Evaluate the expression to a Java `double` value.
`INumber`	`evalNumber()` Evaluate the expression to a `INumber` value.
`ISignedNumber`	`evalSignedNumber()` Evaluate the expression to a `ISignedNumber` value.
`edu.jas.structure.ElemFactory<IExpr>`	`factory()` Get the corresponding element factory.
`java.lang.String`	`fullFormString()` Return the `FullForm()` of this expression
`IExpr`	`gcd(IExpr that)` Greatest common divisor.
`IExpr`	`getAt(int index)` Get the element at the specified `index` if this object is of type `IAST`.
`abstract ISymbol`	`head()` If this object is an instance of `IAST` get the first element (offset 0) of the `IAST` list (i.e. get(0) ).
`IExpr`	`inc()` Returns an `IExpr` whose value is `(this + 1)`.
`java.lang.String`	`internalFormString(boolean symbolsAsFactoryMethod, int depth)` Return the internal Java form of this expression.
`java.lang.String`	`internalJavaString(boolean symbolsAsFactoryMethod, int depth, boolean useOperators)` Return the internal Java form of this expression.
`java.lang.String`	`internalScalaString(boolean symbolsAsFactoryMethod, int depth)` Return the internal Scala form of this expression.
`IExpr`	`inverse()` Returns the multiplicative inverse of this object.
`long`	`leafCount()` Count the number of leaves of this expression.
`java.util.List<IExpr>`	`leaves()` Get a list of the leaf expressions.
`IExpr`	`minus(IExpr that)` Returns an `IExpr` whose value is `(this - that)`.
`IExpr`	`mod(IExpr that)`
`IExpr`	`multiply(IExpr that)` Additional multiply method which works like `times()` to fulfill groovy's method signature
`IExpr`	`negate()` Negate this.
`IExpr`	`negative()` Additional negative method, which works like opposite to fulfill groovy's method signature
`IExpr`	`opposite()` Returns an `IExpr` whose value is `(-1) * this`.
`IExpr`	`optional(IExpr that)` The `ExprNull.NIL#optional()` method always returns `that`.
`IExpr`	`or(IExpr that)`
`IExpr`	`plus(IExpr that)` Returns an `IExpr` whose value is `(this + that)`.
`IExpr`	`power(IExpr that)` Returns an `IExpr` whose value is `(this ^ that)`.
`IExpr`	`power(long n)` Returns an `IExpr` whose value is `(this ^ n)`.
`IExpr`	`remainder(IExpr that)` Remainder after division of this by S.
`IExpr`	`replaceAll(java.util.function.Function<IExpr,IExpr> function)` Replace all (sub-) expressions with the given unary function.
`IExpr`	`replaceAll(IAST astRules)` Replace all (sub-) expressions with the given rule set.
`IExpr`	`replacePart(IAST astRules)` Replace all subexpressions with the given rule set.
`IExpr`	`replaceRepeated(java.util.function.Function<IExpr,IExpr> function)` Repeatedly replace all (sub-) expressions with the given unary function.
`IExpr`	`replaceRepeated(IAST astRules)` Repeatedly replace all (sub-) expressions with the given rule set.
`static IExpr`	`replaceRepeated(IExpr expr, VisitorReplaceAll visitor)`
`IExpr`	`replaceSlots(IAST astSlots)` Replace all occurrences of Slot[<index>] expressions with the expression at the appropriate `index` in the given `slotsList`.
`int`	`signum()` Deprecated.
`IExpr`	`subtract(IExpr that)` Subtract S from this.
`IExpr`	`sum(IExpr that)` Sum of this and S.
`IExpr`	`times(IExpr that)` Returns an `IExpr` whose value is `(this * that)`.
`ISymbol`	`topHead()` The 'highest level' head of the expression, before Symbol, Integer, Real or String. for example while the head of a[b][c] is a[b], the top head is a.
`java.lang.String`	`toScript()` Get a scripting compatible string representation.
`java.lang.String`	`toScriptFactory()` Get a scripting compatible string representation of the factory.
`IExpr`	`variables2Slots(java.util.Map<IExpr,IExpr> map, java.util.Collection<IExpr> variableCollector)` Convert the variables (i.e. expressions of type `ISymbol` which aren't constants) in this expression into Slot[] s.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.matheclipse.core.interfaces.IExpr
accept, accept, accept, accept, evaluate, evaluateHead, getField, hierarchy, ifPresent, isAllExpanded, isAnd, isArcCos, isArcCosh, isArcSin, isArcSinh, isArcTan, isArcTanh, isAST, isAST, isAST, isAST, isAST, isAST, isAST, isASTSizeGE, isAtom, isBlank, isComplex, isComplexInfinity, isComplexNumeric, isCondition, isConstant, isCos, isCosh, isDerivative, isDirectedInfinity, isE, isExpanded, isFalse, isFlatAST, isFraction, isFree, isFree, isFree, isFreeAST, isFreeAST, isFreeOfPatterns, isFunction, isGEOrdered, isGTOrdered, isIndeterminate, isInfinity, isInteger, isIntegerResult, isLEOrdered, isList, isListOfLists, isLog, isLTOrdered, isMatrix, isMember, isMember, isMinusOne, isModule, isNegative, isNegativeInfinity, isNegativeResult, isNonNegativeResult, isNot, isNumber, isNumEqualInteger, isNumEqualRational, isNumeric, isNumericFunction, isNumericMode, isNumIntValue, isOne, isONE, isOr, isOrderlessAST, isPattern, isPatternDefault, isPatternExpr, isPatternSequence, isPi, isPlus, isPlusTimesPower, isPolynomial, isPolynomial, isPolynomialOfMaxDegree, isPositive, isPositiveResult, isPower, isPresent, isRational, isRationalResult, isRationalValue, isRealResult, isRuleAST, isSame, isSame, isSequence, isSignedNumber, isSin, isSinh, isSlot, isSlotSequence, isSpan, isSymbol, isTan, isTanh, isTimes, isTrue, isUnit, isValue, isVariable, isVector, isZero, isZERO, multiply, ofNullable, orElse, orElseGet, orElseThrow, reciprocal, timesDistributed

Methods inherited from interface edu.jas.structure.Element
equals, hashCode

- Constructor Detail
  - ExprImpl
```
public ExprImpl()
```
- Method Detail
  - replaceRepeated
```
public static IExpr replaceRepeated(IExpr expr,
                                    VisitorReplaceAll visitor)
```
  - abs
```
public IExpr abs()
```
    Description copied from interface: edu.jas.structure.AbelianGroupElem
    
    Absolute value of this.
    
    Specified by:
    
    abs in interface edu.jas.structure.AbelianGroupElem<IExpr>
    
    Returns:
    
    |this|.
  - and
```
public IExpr and(IExpr that)
```
    Specified by:
    
    and in interface IExpr
  - apply
```
public IExpr apply(IExpr... leaves)
```
    Specified by:
    
    apply in interface IExpr
    
    Returns:
    
    an IExpr instance with the current expression as head(), and leaves as leaves().
  - apply
```
public IExpr apply(java.util.List<? extends IExpr> leaves)
```
    Specified by:
    
    apply in interface IExpr
    
    Returns:
    
    an IExpr instance with the current expression as head(), and leaves as leaves().
  - asType
```
public java.lang.Object asType(java.lang.Class<?> clazz)
```
    Specified by:
    
    asType in interface IExpr
  - compareTo
```
public int compareTo(IExpr expr)
```
    Description copied from interface: IExpr
    
    Compares this expression with the specified expression for order. Returns a negative integer, zero, or a positive integer as this expression is canonical less than, equal to, or greater than the specified expression.
    
    Specified by:
    
    compareTo in interface edu.jas.structure.Element<IExpr>
    
    Specified by:
    
    compareTo in interface java.lang.Comparable<IExpr>
    
    Specified by:
    
    compareTo in interface IExpr
    
    Returns:
    
    0 if this is equal to b, -1 if this is less then b, else +1.
  - copy
```
public IExpr copy()
```
    Description copied from interface: edu.jas.structure.Element
    
    Clone this Element.
    
    Specified by:
    
    copy in interface edu.jas.structure.Element<IExpr>
    
    Returns:
    
    Creates and returns a copy of this Element.
  - conjugate
```
public INumber conjugate()
```
  - divide
```
public IExpr divide(IExpr that)
```
    Returns an IExpr whose value is (this / that). Calculates F.eval(F.Times(this, F.Power(that, F.CN1))) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    divide in interface edu.jas.structure.MonoidElem<IExpr>
    
    Specified by:
    
    divide in interface org.apache.commons.math4.FieldElement<IExpr>
    
    Specified by:
    
    divide in interface IExpr
    
    Parameters:
    
    that - element to divide by
    
    Returns:
    
    this / S.
  - egcd
```
public IExpr[] egcd(IExpr b)
```
    Description copied from interface: edu.jas.structure.RingElem
    
    Extended greatest common divisor.
    
    Specified by:
    
    egcd in interface edu.jas.structure.RingElem<IExpr>
    
    Parameters:
    
    b - other element.
    
    Returns:
    
    [ gcd(this,b), c1, c2 ] with c1*this + c2*b = gcd(this,b).
  - evalDouble
```
public double evalDouble()
```
    Evaluate the expression to a Java double value. If the conversion to a double value is not possible, the method throws a WrongArgumentType exception.
    
    Specified by:
    
    evalDouble in interface IExpr
    
    Returns:
    
    this expression converted to a Java double value.
  - evalComplex
```
public org.apache.commons.math4.complex.Complex evalComplex()
```
    Evaluate the expression to a INumber value.
    
    Specified by:
    
    evalComplex in interface IExpr
    
    Returns:
    
    null if the conversion is not possible.
  - evalNumber
```
public INumber evalNumber()
```
    Evaluate the expression to a INumber value.
    
    Specified by:
    
    evalNumber in interface IExpr
    
    Returns:
    
    null if the conversion is not possible.
  - evalSignedNumber
```
public ISignedNumber evalSignedNumber()
```
    Evaluate the expression to a ISignedNumber value.
    
    Specified by:
    
    evalSignedNumber in interface IExpr
    
    Returns:
    
    null if the conversion is not possible.
  - factory
```
public edu.jas.structure.ElemFactory<IExpr> factory()
```
    Description copied from interface: edu.jas.structure.Element
    
    Get the corresponding element factory.
    
    Specified by:
    
    factory in interface edu.jas.structure.Element<IExpr>
    
    Returns:
    
    factory for this Element.
  - fullFormString
```
public java.lang.String fullFormString()
```
    Description copied from interface: IExpr
    
    Return the FullForm() of this expression
    
    Specified by:
    
    fullFormString in interface IExpr
  - gcd
```
public IExpr gcd(IExpr that)
```
    Description copied from interface: edu.jas.structure.RingElem
    
    Greatest common divisor.
    
    Specified by:
    
    gcd in interface edu.jas.structure.RingElem<IExpr>
    
    Parameters:
    
    that - other element.
    
    Returns:
    
    gcd(this,b).
  - getAt
```
public IExpr getAt(int index)
```
    Get the element at the specified index if this object is of type IAST.
    
    Specified by:
    
    getAt in interface IExpr
    
    Returns:
  - head
```
public abstract ISymbol head()
```
    If this object is an instance of IAST get the first element (offset 0) of the IAST list (i.e. get(0) ).
    
    Specified by:
    
    head in interface IExpr
    
    Returns:
    
    the head of the expression, which must not be null.
  - internalFormString
```
public java.lang.String internalFormString(boolean symbolsAsFactoryMethod,
                                           int depth)
```
    Return the internal Java form of this expression.
    
    Specified by:
    
    internalFormString in interface IExpr
    
    Parameters:
    
    symbolsAsFactoryMethod - if true use the F.symbol() method, otherwise print the symbol name.
    
    depth - the recursion depth of this call. 0 indicates "recurse without a limit".
  - internalScalaString
```
public java.lang.String internalScalaString(boolean symbolsAsFactoryMethod,
                                            int depth)
```
    Return the internal Scala form of this expression.
    
    Specified by:
    
    internalScalaString in interface IExpr
    
    Parameters:
    
    symbolsAsFactoryMethod - if true use the F.symbol() method, otherwise print the symbol name.
    
    depth - the recursion depth of this call. 0 indicates "recurse without a limit".
  - internalJavaString
```
public java.lang.String internalJavaString(boolean symbolsAsFactoryMethod,
                                           int depth,
                                           boolean useOperators)
```
    Return the internal Java form of this expression.
    
    Specified by:
    
    internalJavaString in interface IExpr
    
    Parameters:
    
    symbolsAsFactoryMethod - if true use the F.symbol() method, otherwise print the symbol name.
    
    depth - the recursion depth of this call. 0 indicates "recurse without a limit".
    
    useOperators - use operators instead of function names for representation of Plus, Times, Power,...
  - inverse
```
public IExpr inverse()
```
    Returns the multiplicative inverse of this object. It is the object such as this.times(this.inverse()) == ONE , with ONE being the multiplicative identity. Calculates F.eval(F.Power(this, F.CN1)) in the common case and uses a specialized implmentation for derived number classes.
    
    Specified by:
    
    inverse in interface edu.jas.structure.MonoidElem<IExpr>
    
    Specified by:
    
    inverse in interface IExpr
    
    Returns:
    
    ONE / this.
  - leafCount
```
public final long leafCount()
```
    Count the number of leaves of this expression.
    
    Specified by:
    
    leafCount in interface IExpr
    
    Returns:
  - leaves
```
public final java.util.List<IExpr> leaves()
```
    Get a list of the leaf expressions.
    
    Specified by:
    
    leaves in interface IExpr
    
    Returns:
    
    Instances of ExprImpl should return null, while any other expression may not return null (but can return an empty list).
  - minus
```
public final IExpr minus(IExpr that)
```
    Returns an IExpr whose value is (this - that). Calculates F.eval(F.Plus(this, F.Times(F.CN1, that))) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    minus in interface IExpr
    
    Returns:
  - mod
```
public final IExpr mod(IExpr that)
```
    Specified by:
    
    mod in interface IExpr
  - multiply
```
public final IExpr multiply(IExpr that)
```
    Additional multiply method which works like times() to fulfill groovy's method signature
    
    Specified by:
    
    multiply in interface edu.jas.structure.MonoidElem<IExpr>
    
    Specified by:
    
    multiply in interface org.apache.commons.math4.FieldElement<IExpr>
    
    Specified by:
    
    multiply in interface IExpr
    
    Parameters:
    
    that - element to multiply
    
    Returns:
    
    this * S.
    
    See Also:
    
    IExpr.times(IExpr)
  - negate
```
public IExpr negate()
```
    Negate this.
    
    Specified by:
    
    negate in interface edu.jas.structure.AbelianGroupElem<IExpr>
    
    Specified by:
    
    negate in interface org.apache.commons.math4.FieldElement<IExpr>
    
    Returns:
    
    - this.
  - negative
```
public final IExpr negative()
```
    Additional negative method, which works like opposite to fulfill groovy's method signature
    
    Specified by:
    
    negative in interface IExpr
    
    Returns:
    
    See Also:
    
    IExpr.opposite()
  - opposite
```
public IExpr opposite()
```
    Returns an IExpr whose value is (-1) * this. Calculates F.eval(F.Times(F.CN1, this)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    opposite in interface IExpr
    
    Returns:
    
    See Also:
    
    IExpr.negative()
  - optional
```
public final IExpr optional(IExpr that)
```
    The ExprNull.NIL#optional() method always returns that. All other objects which implement this method returns that if that!=null or this if that==null
    
    Specified by:
    
    optional in interface IExpr
    
    Returns:
    
    that if that!=null or this in all other cases.
    
    See Also:
    
    AbstractAST.optional(IExpr)
  - or
```
public final IExpr or(IExpr that)
```
    Specified by:
    
    or in interface IExpr
  - plus
```
public IExpr plus(IExpr that)
```
    Returns an IExpr whose value is (this + that). Calculates F.eval(F.Plus(this, that)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    plus in interface IExpr
    
    Returns:
  - inc
```
public final IExpr inc()
```
    Returns an IExpr whose value is (this + 1). Calculates F.eval(F.Plus(this, C1)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    inc in interface IExpr
    
    Returns:
  - dec
```
public final IExpr dec()
```
    Returns an IExpr whose value is (this - 1). Calculates F.eval(F.Subtract(this, C1)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    dec in interface IExpr
    
    Returns:
  - power
```
public final IExpr power(IExpr that)
```
    Returns an IExpr whose value is (this ^ that). Calculates F.eval(F.Power(this, that)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    power in interface IExpr
    
    Returns:
    
    (this ^ that)
  - power
```
public IExpr power(long n)
```
    Returns an IExpr whose value is (this ^ n). Calculates F.eval(F.Power(this, that)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    power in interface IExpr
    
    Returns:
    
    (this ^ n)
  - remainder
```
public IExpr remainder(IExpr that)
```
    Description copied from interface: edu.jas.structure.MonoidElem
    
    Remainder after division of this by S.
    
    Specified by:
    
    remainder in interface edu.jas.structure.MonoidElem<IExpr>
    
    Returns:
    
    this - (this / S) * S.
  - replaceAll
```
public final IExpr replaceAll(java.util.function.Function<IExpr,IExpr> function)
```
    Replace all (sub-) expressions with the given unary function. If no substitution matches, the method returns null.
    
    Specified by:
    
    replaceAll in interface IExpr
    
    Parameters:
    
    function - if the unary functions apply() method returns F.NIL the expression isn't substituted.
    
    Returns:
    
    F.NIL if no substitution of a (sub-)expression was possible.
  - replaceAll
```
public final IExpr replaceAll(IAST astRules)
```
    Replace all (sub-) expressions with the given rule set. If no substitution matches, the method returns null.
    
    Specified by:
    
    replaceAll in interface IExpr
    
    Parameters:
    
    astRules - rules of the form x->y or {a->b, c->d}; the left-hand-side of the rule can contain pattern objects.
    
    Returns:
    
    F.NIL if no substitution of a (sub-)expression was possible.
  - replacePart
```
public final IExpr replacePart(IAST astRules)
```
    Replace all subexpressions with the given rule set. A rule must contain the position of the subexpression which should be replaced on the left-hand-side. If no substitution matches, the method returns F.NIL.
    
    Specified by:
    
    replacePart in interface IExpr
    
    Parameters:
    
    astRules - rules of the form position->y or {position1->b, position2->d}
    
    Returns:
    
    F.NIL if no substitution of a subexpression was possible.
  - replaceRepeated
```
public final IExpr replaceRepeated(java.util.function.Function<IExpr,IExpr> function)
```
    Repeatedly replace all (sub-) expressions with the given unary function. If no substitution matches, the method returns this.
    
    Specified by:
    
    replaceRepeated in interface IExpr
    
    Parameters:
    
    function - if the unary functions apply() method returns null the expression isn't substituted.
    
    Returns:
    
    this if no substitution of a (sub-)expression was possible.
  - replaceRepeated
```
public final IExpr replaceRepeated(IAST astRules)
```
    Repeatedly replace all (sub-) expressions with the given rule set. If no substitution matches, the method returns this.
    
    Specified by:
    
    replaceRepeated in interface IExpr
    
    Parameters:
    
    astRules - rules of the form x->y or {a->b, c->d}; the left-hand-side of the rule can contain pattern objects.
    
    Returns:
    
    this if no substitution of a (sub-)expression was possible.
  - replaceSlots
```
public final IExpr replaceSlots(IAST astSlots)
```
    Replace all occurrences of Slot[<index>] expressions with the expression at the appropriate index in the given slotsList.
    
    Note: If a slot value is null the Slot will not be substituted.
    
    Specified by:
    
    replaceSlots in interface IExpr
    
    Parameters:
    
    astSlots - the values for the slots.
    
    Returns:
    
    null if no substitution occurred.
  - signum
```
@Deprecated
public int signum()
```
    Deprecated.
    
    Signum functionality is used in JAS toString() method, don't use it as math signum function.
    
    Specified by:
    
    signum in interface edu.jas.structure.AbelianGroupElem<IExpr>
    
    Specified by:
    
    signum in interface IExpr
    
    Returns:
    
    the sign of this.
  - subtract
```
public final IExpr subtract(IExpr that)
```
    Description copied from interface: edu.jas.structure.AbelianGroupElem
    
    Subtract S from this.
    
    Specified by:
    
    subtract in interface edu.jas.structure.AbelianGroupElem<IExpr>
    
    Specified by:
    
    subtract in interface org.apache.commons.math4.FieldElement<IExpr>
    
    Specified by:
    
    subtract in interface IExpr
    
    Parameters:
    
    that - element to subtract
    
    Returns:
    
    this - S.
  - sum
```
public final IExpr sum(IExpr that)
```
    Description copied from interface: edu.jas.structure.AbelianGroupElem
    
    Sum of this and S.
    
    Specified by:
    
    sum in interface edu.jas.structure.AbelianGroupElem<IExpr>
    
    Specified by:
    
    sum in interface org.apache.commons.math4.FieldElement<IExpr>
    
    Specified by:
    
    sum in interface IExpr
    
    Parameters:
    
    that - element to add
    
    Returns:
    
    this + S.
  - times
```
public IExpr times(IExpr that)
```
    Returns an IExpr whose value is (this * that). Calculates F.eval(F.Times(this, that)) in the common case and uses a specialized implementation for derived number classes.
    
    Specified by:
    
    times in interface IExpr
    
    Parameters:
    
    that - the multiplier expression
    
    Returns:
    
    (this * that)
  - topHead
```
public final ISymbol topHead()
```
    Description copied from interface: IExpr
    
    The 'highest level' head of the expression, before Symbol, Integer, Real or String. for example while the head of a[b][c] is a[b], the top head is a.
    
    Specified by:
    
    topHead in interface IExpr
    
    Returns:
    
    the 'highest level' head of the expression.
  - toScript
```
public final java.lang.String toScript()
```
    Description copied from interface: edu.jas.structure.Element
    
    Get a scripting compatible string representation.
    
    Specified by:
    
    toScript in interface edu.jas.structure.Element<IExpr>
    
    Returns:
    
    script compatible representation for this Element.
  - toScriptFactory
```
public final java.lang.String toScriptFactory()
```
    Description copied from interface: edu.jas.structure.Element
    
    Get a scripting compatible string representation of the factory.
    
    Specified by:
    
    toScriptFactory in interface edu.jas.structure.Element<IExpr>
    
    Returns:
    
    script compatible representation for this ElemFactory.
  - variables2Slots
```
public IExpr variables2Slots(java.util.Map<IExpr,IExpr> map,
                             java.util.Collection<IExpr> variableCollector)
```
    Convert the variables (i.e. expressions of type ISymbol which aren't constants) in this expression into Slot[] s.
    
    Specified by:
    
    variables2Slots in interface IExpr
    
    Parameters:
    
    map - for every given symbol argument return the associated unique slot from this map
    
    variableCollector - collects the variables which are used in the replacement process
    
    Returns:
    
    F.NIL if no variable symbol was found.
  - $div
```
public final IExpr $div(IExpr that)
```
    Description copied from interface: IExpr
    
    Operator overloading for Scala operator /. Calls divide(that).
    
    Specified by:
    
    $div in interface IExpr
    
    Returns:
  - $minus
```
public final IExpr $minus(IExpr that)
```
    Description copied from interface: IExpr
    
    Operator overloading for Scala operator /. Calls divide(that).
    
    Specified by:
    
    $minus in interface IExpr
    
    Returns:
  - $plus
```
public final IExpr $plus(IExpr that)
```
    Description copied from interface: IExpr
    
    Operator overloading for Scala operator +. Calls plus(that).
    
    Specified by:
    
    $plus in interface IExpr
    
    Returns:
  - $times
```
public final IExpr $times(IExpr that)
```
    Description copied from interface: IExpr
    
    Operator overloading for Scala operator *. Calls times(that).
    
    Specified by:
    
    $times in interface IExpr
    
    Returns:
  - $up
```
public final IExpr $up(IExpr that)
```
    Description copied from interface: IExpr
    
    Operator overloading for Scala operator ^. Calls power(that).
    
    Specified by:
    
    $up in interface IExpr
    
    Returns:

Class ExprImpl

Field Summary

Fields inherited from interface org.matheclipse.core.interfaces.IExpr

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface org.matheclipse.core.interfaces.IExpr

Methods inherited from interface edu.jas.structure.Element

Constructor Detail

ExprImpl

Method Detail

replaceRepeated

abs

and

apply

apply

asType

compareTo

copy

conjugate

divide

egcd

evalDouble

evalComplex

evalNumber

evalSignedNumber

factory

fullFormString

gcd

getAt

head

internalFormString

internalScalaString

internalJavaString

inverse

leafCount

leaves

minus

mod

multiply

negate

negative

opposite

optional

or

plus

inc

dec

power

power

remainder

replaceAll

replaceAll

replacePart

replaceRepeated

replaceRepeated

replaceSlots

signum

subtract

sum

times

topHead

toScript

toScriptFactory

variables2Slots

$div

$minus

$plus

$times

$up