ups inherits from IndexedProductCategory(A, S)
leadingTerm: % -> Record(k: S, c: A) if S has Comparable
leadingTerm(x) returns the leading (with respect to the ordering on the
indexing set) term of z. Error: if z has no support.
EI has Comparable -> true, but I guess there is no support in IPC.
At least this works:
(2) -> terms(monomial(1, 1/2)$ups)$ups
1
(2) [[k = -, c = 1]]
2
Type: Stream(Record(k: Fraction(Integer),c: Expression(Integer)))
(3) -> leadingMonomial(monomial(1, 1/2)$ups)$ups
1
-
2
(3) t
Type: UnivariatePuiseuxSeries(Expression(Integer),t,0)
(3) -> terms leadingMonomial(monomial(1, 1/2)$ups)$ups
1
(3) [[k = -, c = 1]]
2
Type: Stream(Record(k: Fraction(Integer),c: Expression(Integer)))
thus
leadingTerm x ==> terms leadingMonomial x
(5) -> leadingTerm(monomial(1, 1/2)$ups)
1
(5) [[k = -, c = 1]]
2
Type: Stream(Record(k: Fraction(Integer),c: Expression(Integer)))
may be a work-around.
On 02.04.2021 23:35, Tobias Neumann wrote:
> EI ==> Expression(Integer)
> ups := UnivariatePuiseuxSeries(EI,'t,0)
>
> leadingTerm(monomial(1, 1/2)$ups)$ups
>
> Internal Error
> The function leadingTerm with signature hashcode is missing from
> domain UnivariatePuiseuxSeries(Expression (Integer))t((0 . 0) 0 . 1)
>
> It seems like this is just missing implementation in the series expansion
> domains, just like `leadingSupport`, unless I'm overlooking something.
>
> Tobias
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email
> to fricas-devel+unsubscr...@googlegroups.com
> <mailto:fricas-devel+unsubscr...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/5d0d8f66-47ae-453d-b1fd-43946b0f6a9en%40googlegroups.com
> <https://groups.google.com/d/msgid/fricas-devel/5d0d8f66-47ae-453d-b1fd-43946b0f6a9en%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/f6963e9d-ff10-27ba-45a3-a484cdad1cfa%40gmail.com.
