JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification
https://docs.sciml.ai/SymbolicUtils/stable/
Other
527 stars 100 forks source link

no method matching `div(::PolyForm, ::Rational)` #449

Open t0rny opened 2 years ago

t0rny commented 2 years ago
using SymbolicUtils
@syms x
poly = PolyForm(x^2)
div(poly, 4//3)

yields the following error.

ERROR: MethodError: no method matching div(::PolyForm{Number, Nothing}, ::Rational{Int64}, ::RoundingMode{:ToZero})
Closest candidates are:
  div(::MultivariatePolynomials.AbstractPolynomialLike, ::Number, ::Any...) at ~/.julia/packages/MultivariatePolynomials/1bIGc/src/division.jl:10
  div(::P, ::Real, ::RoundingMode) where P<:Dates.Period at /opt/julias/julia-1.7-latest/share/julia/stdlib/v1.7/Dates/src/periods.jl:85
  div(::Integer, ::Rational, ::RoundingMode) at /opt/julias/julia-1.7-latest/share/julia/base/rational.jl:433
  ...
Stacktrace:
 [1] div(a::PolyForm{Number, Nothing}, b::Rational{Int64})
   @ Base ./div.jl:37
 [2] top-level scope
   @ REPL[7]:1

Is PolyForm not expected to be divided by Rationals?

Environment:

Julia Version 1.7.3
[d1185830] SymbolicUtils v0.19.7