Groebner basis failing with time-dependent variables

[n0rbed]

@variables t S(t) R(t)
Symbolics.groebner_basis(expr)
Symbolics.groebner_basis(expr, ordering=Lex(S, R))

Output:

julia> Symbolics.groebner_basis(expr)
2-element Vector{PolyForm{Real}}:
 -12 + 5S(t)
 2 + 5R(t)
 
 julia> Symbolics.groebner_basis(expr, ordering=Lex(S, R))
ERROR: DomainError with Lex{Num}(Num[S(t), R(t)], false):
The given monomial ordering is inconsistent with the input.
The variable S(t) does not seem to belong to the ring: DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}[S_1759935379886511107, R_10860254744257118785].

[n0rbed]

@sumiya11