## 607 Reputation

19 years, 289 days

## convert to polynom...

is the good solution for me. Thanks, Sandor

## convert to polynom...

is the good solution for me. Thanks, Sandor

## Algolib...

I would like to use this library in Maple as a package or similar. For special functions, asymptotics, differential equations an improved, more or less bug free version would be useful. An other problem is: O(x)+O(x)=2O(x) O(x)-O(x)=0 (!) So I would like Maple to handle big Ordo correctly. Thanks.

## Differential operator...

It's fantastic! Previously I searched the help without success. Many thanks.

## Differential operator...

It's fantastic! Previously I searched the help without success. Many thanks.

## libname...

(I downloaded everything, the newest version, from the inria pages.) I don't know how, but Maple was able to produce (http://algo.inria.fr/libraries/autocomb/FourBessel-html/FourBessel8.html#MapleAutoBookmark8 ) System of PDE's Satisfied by the Product Computing a system for the product is now a simple call to Mgfun[`sys*sys`] . > sys:=`sys*sys`(sys1,sys2,sys3,sys4,sys5); So I suggest to skip the libname problem. However, the produced system, sys, is smaller than it can be found on the webpage. Anyway, I went on, and tried Integration Again, the integration itself is performed by a single call to Mgfun[int_of_sys] : > ode:=op(int_of_sys(sys,x=-infinity..infinity,takayama_algo)); Unfortunately, Maple says, Error, (in Mgfun:-MG_Internals:-int_of_sys) bad options I tried to run the example in the help of Mgfun,
```> sys:={(-n-1+k)^2*h(n+1,k)-(n+1+k)^2*h(n,k),-(n+1+k)^2*(-n+k)^2*h(n,k)+(k+1)^4*h(n,k+1)};

/            2         2                  4

{ -(n + 1 + k)  (-n + k)  h(n, k) + (k + 1)  h(n, k + 1),

\

2                          2        \

(-n - 1 + k)  h(n + 1, k) - (n + 1 + k)  h(n, k) }

/

> sum_of_sys(sys,k=-infinity..infinity,takayama_algo);

```
My guess is the takayama_algo is the bad options. You can use this option? If not, what can I do?

## libname...

(I downloaded everything, the newest version, from the inria pages.) I don't know how, but Maple was able to produce (http://algo.inria.fr/libraries/autocomb/FourBessel-html/FourBessel8.html#MapleAutoBookmark8 ) System of PDE's Satisfied by the Product Computing a system for the product is now a simple call to Mgfun[`sys*sys`] . > sys:=`sys*sys`(sys1,sys2,sys3,sys4,sys5); So I suggest to skip the libname problem. However, the produced system, sys, is smaller than it can be found on the webpage. Anyway, I went on, and tried Integration Again, the integration itself is performed by a single call to Mgfun[int_of_sys] : > ode:=op(int_of_sys(sys,x=-infinity..infinity,takayama_algo)); Unfortunately, Maple says, Error, (in Mgfun:-MG_Internals:-int_of_sys) bad options I tried to run the example in the help of Mgfun,
```> sys:={(-n-1+k)^2*h(n+1,k)-(n+1+k)^2*h(n,k),-(n+1+k)^2*(-n+k)^2*h(n,k)+(k+1)^4*h(n,k+1)};

/            2         2                  4

{ -(n + 1 + k)  (-n + k)  h(n, k) + (k + 1)  h(n, k + 1),

\

2                          2        \

(-n - 1 + k)  h(n + 1, k) - (n + 1 + k)  h(n, k) }

/

> sum_of_sys(sys,k=-infinity..infinity,takayama_algo);

```
My guess is the takayama_algo is the bad options. You can use this option? If not, what can I do?

## libname problem...

I use Maple 10 under xp. There is no init file. It seems to me there is something wrong with libname. I copy here the 2 examples. There is no anything else in these 2 mw files. 1)
```> libname;
"C:\Program Files\Maple 10/lib"
> with(Mgfun);

Error, (in with) invalid input: with expects its 1st argument, pname,
to be of type {package, module}, but received Mgfun

> libname:="C:/Program Files/Maple 11/MyLib/Algolib";

"C:/Program Files/Maple 11/MyLib/Algolib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, GB_Internals, HilbertDimension, HilbertPolynomial,
MultiplicationMatrix, MultivariateCyclicVector, NormalForm, NormalSet,
Reduce, RememberBasis, SPolynomial, SetBasis, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk, _pexports, fglm_algo, gbasis,
gsolve, hilbertdim, hilbertpoly, hilbertseries, init, inter_reduce,
pretend_gbasis, reduce, spoly, termorder, testorder, univpoly]

```
Everything is OK. 2)
```> libname;
"C:\Program Files\Maple 10/lib"

> libname:="C:/Program Files/Maple 11/MyLib/Algolib",libname;

"C:/Program Files/Maple 11/MyLib/Algolib",
"C:\Program Files\Maple 10/lib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, HilbertDimension, HilbertPolynomial, HilbertSeries, InterReduce,
IsProper, IsZeroDimensional,
NormalForm, NormalSet, Reduce, RememberBasis, SPolynomial, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk]

```
GB_Internals disappeared. Sorry, but I don't understand the reason of it. (Therefore I thought to force Maple by using priority.)

## libname problem...

I use Maple 10 under xp. There is no init file. It seems to me there is something wrong with libname. I copy here the 2 examples. There is no anything else in these 2 mw files. 1)
```> libname;
"C:\Program Files\Maple 10/lib"
> with(Mgfun);

Error, (in with) invalid input: with expects its 1st argument, pname,
to be of type {package, module}, but received Mgfun

> libname:="C:/Program Files/Maple 11/MyLib/Algolib";

"C:/Program Files/Maple 11/MyLib/Algolib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, GB_Internals, HilbertDimension, HilbertPolynomial,
MultiplicationMatrix, MultivariateCyclicVector, NormalForm, NormalSet,
Reduce, RememberBasis, SPolynomial, SetBasis, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk, _pexports, fglm_algo, gbasis,
gsolve, hilbertdim, hilbertpoly, hilbertseries, init, inter_reduce,
pretend_gbasis, reduce, spoly, termorder, testorder, univpoly]

```
Everything is OK. 2)
```> libname;
"C:\Program Files\Maple 10/lib"

> libname:="C:/Program Files/Maple 11/MyLib/Algolib",libname;

"C:/Program Files/Maple 11/MyLib/Algolib",
"C:\Program Files\Maple 10/lib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, HilbertDimension, HilbertPolynomial, HilbertSeries, InterReduce,
IsProper, IsZeroDimensional,
NormalForm, NormalSet, Reduce, RememberBasis, SPolynomial, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk]

```
GB_Internals disappeared. Sorry, but I don't understand the reason of it. (Therefore I thought to force Maple by using priority.)

## Mgfun, libname...

Thanks. I read libname. There is only one problem, the priority. When I typed
```> originallibname:=libname;

"C:\Program Files\Maple 10/lib"
> with(Mgfun);

Error, (in with) invalid input: with expects its 1st argument,
pname, to be of type {package, module}, but received Mgfun

> libname:="C:/Program Files/Maple 11/MyLib/Algolib";

"C:/Program Files/Maple 11/MyLib/Algolib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, GB_Internals, HilbertDimension, HilbertPolynomial,
HilbertSeries, InterReduce, IsProper, IsZeroDimensional,
MultiplicationMatrix, MultivariateCyclicVector, NormalForm, NormalSet,
Reduce, RememberBasis, SPolynomial, SetBasis, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk, _pexports, fglm_algo, gbasis,
gsolve, hilbertdim, hilbertpoly, hilbertseries, init, inter_reduce,
pretend_gbasis, reduce, spoly, termorder, testorder, univpoly]
```
So everything is OK. Almost. The problem is the order (priority). When I typed the following the GB_Internals disappeared.
```> libname;
"C:\Program Files\Maple 10/lib"
> libname:="C:/Program Files/Maple 11/MyLib/Algolib",libname;

"C:/Program Files/Maple 11/MyLib/Algolib", "C:\Program Files\Maple 10/lib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, HilbertDimension, HilbertPolynomial, HilbertSeries, InterReduce,
NormalForm, NormalSet, Reduce, RememberBasis, SPolynomial, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk]

> march('setattribute',"C:/Program Files/Maple 11/MyLib/Algolib",priority=2);

Error, (in march) individual archive file is expected for changing priority

```
How can I give higher priority to Algolib than Maple/lib? The help says For example, the commands: libname := "/usr/me/mylib/joe.lib","/usr/maple/lib"; myexpand; result in the two specified locations being searched for a definition of myexpand in a file or a member named myexpand.m. First the single library "joe.lib" in the directory "/user/me/mylib" is searched, and then, if necessary, the libraries in the directory "/usr/maple/lib" are searched. The search is terminated on its first success. In particular, this mechanism allows for easy additions or replacements to the main library. I need only (hopefully) a little help to go on.

## Mgfun, libname...

Thanks. I read libname. There is only one problem, the priority. When I typed
```> originallibname:=libname;

"C:\Program Files\Maple 10/lib"
> with(Mgfun);

Error, (in with) invalid input: with expects its 1st argument,
pname, to be of type {package, module}, but received Mgfun

> libname:="C:/Program Files/Maple 11/MyLib/Algolib";

"C:/Program Files/Maple 11/MyLib/Algolib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, GB_Internals, HilbertDimension, HilbertPolynomial,
HilbertSeries, InterReduce, IsProper, IsZeroDimensional,
MultiplicationMatrix, MultivariateCyclicVector, NormalForm, NormalSet,
Reduce, RememberBasis, SPolynomial, SetBasis, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk, _pexports, fglm_algo, gbasis,
gsolve, hilbertdim, hilbertpoly, hilbertseries, init, inter_reduce,
pretend_gbasis, reduce, spoly, termorder, testorder, univpoly]
```
So everything is OK. Almost. The problem is the order (priority). When I typed the following the GB_Internals disappeared.
```> libname;
"C:\Program Files\Maple 10/lib"
> libname:="C:/Program Files/Maple 11/MyLib/Algolib",libname;

"C:/Program Files/Maple 11/MyLib/Algolib", "C:\Program Files\Maple 10/lib"

> with(Mgfun);

[MG_Internals, creative_telescoping, dfinite_expr_to_diffeq,
dfinite_expr_to_rec, dfinite_expr_to_sys, diag_of_sys, int_of_sys,
pol_to_sys, sum_of_sys, sys*sys, sys+sys]

> with(Groebner);

[Basis, FGLM, HilbertDimension, HilbertPolynomial, HilbertSeries, InterReduce,
NormalForm, NormalSet, Reduce, RememberBasis, SPolynomial, Solve, TestOrder,
ToricIdealBasis, UnivariatePolynomial, Walk]

> march('setattribute',"C:/Program Files/Maple 11/MyLib/Algolib",priority=2);

Error, (in march) individual archive file is expected for changing priority

```
How can I give higher priority to Algolib than Maple/lib? The help says For example, the commands: libname := "/usr/me/mylib/joe.lib","/usr/maple/lib"; myexpand; result in the two specified locations being searched for a definition of myexpand in a file or a member named myexpand.m. First the single library "joe.lib" in the directory "/user/me/mylib" is searched, and then, if necessary, the libraries in the directory "/usr/maple/lib" are searched. The search is terminated on its first success. In particular, this mechanism allows for easy additions or replacements to the main library. I need only (hopefully) a little help to go on.

## Mgfun, Groebner...

I wrote, but the problem is, as I noticed it very recently, that there are 2(!) Groebner package. The original in Maple, and an other one in Algolib Library in which the command GB_Internals does exist. So the question is, how can I make Maple use the one in Algolib? My Algolib is in the directory .../Maple/lib .

## Mgfun, Groebner...

I wrote, but the problem is, as I noticed it very recently, that there are 2(!) Groebner package. The original in Maple, and an other one in Algolib Library in which the command GB_Internals does exist. So the question is, how can I make Maple use the one in Algolib? My Algolib is in the directory .../Maple/lib .

## Mgfun...

I don't know this theory. What does give pdsolve? The complete set of solution applying 'usual' functions or distributions also? There is a bad news: after typing sys:=`sys*sys`(sys1,sys2,sys3,sys4,sys5); (System of PDE's Satisfied by the Product) I got an error message Error, (in Mgfun:-MG_Internals:-add_prod_of_sys) GB_Internals is not a command in the Groebner package Should I write to the author?

## Mgfun...

I don't know this theory. What does give pdsolve? The complete set of solution applying 'usual' functions or distributions also? There is a bad news: after typing sys:=`sys*sys`(sys1,sys2,sys3,sys4,sys5); (System of PDE's Satisfied by the Product) I got an error message Error, (in Mgfun:-MG_Internals:-add_prod_of_sys) GB_Internals is not a command in the Groebner package Should I write to the author?
 5 6 7 8 9 Page 7 of 9
﻿