On 7/4/24 21:30, Waldek Hebisch wrote:
> So, basically you want 'normalize' to work with algebraic
> expression.
Yes, that would be nice, but more urgent for me is to have that just for
algebraic numbers, i.e. no variables involved. So there might be even
some properties that can be used. For ex
On Thu, Jul 04, 2024 at 06:28:01PM +0200, Ralf Hemmecke wrote:
> On 7/4/24 16:41, Waldek Hebisch wrote:
> > > Opinions? Should I try to come up with a proper fix? I somehow
> > > feel such a change will have quite some consequences in different
> > > part of FriCAS.
> >
> > Impact should be limite
On 7/4/24 16:41, Waldek Hebisch wrote:
Opinions? Should I try to come up with a proper fix? I somehow
feel such a change will have quite some consequences in different
part of FriCAS.
Impact should be limited. Functions in AlgebraicManipulations are
mostly "user level" functions. It seems th
On Wed, Jul 03, 2024 at 02:34:44PM +0200, Ralf Hemmecke wrote:
> It looks like smpeval
>
> smpeval(p, lk, lv) ==
> map(x +-> match(lk, lv, x,
> notfound((z : K) : % +-> map(s +-> eval(s, lk, lv), z),
> lk))$ListToMap(K, %),
> y +-> y::%,
>
It looks like smpeval
smpeval(p, lk, lv) ==
map(x +-> match(lk, lv, x,
notfound((z : K) : % +-> map(s +-> eval(s, lk, lv), z),
lk))$ListToMap(K, %),
y +-> y::%,
p)$PolynomialCategoryLifting(IndexedExponents K, K, R, MP, %)
is suppose