Re: [sage-support] domain of symbolic variables other than RR or CC in the context of HFE?

2015-09-14 Thread eggartmumie
ons with them > > sage: x0 ** x1 > Traceback (most recent call last): > ... > TypeError: non-integral exponents not supported > > Is that enough for your purpose? > > Vincent > > On 13/09/15 19:04, eggartmumie wrote: > > Hi, > > > > in the

[sage-support] domain of symbolic variables other than RR or CC in the context of HFE?

2015-09-13 Thread eggartmumie
Hi, in the context of HFE pf post quantum cryprography I had to realize that symbolic variables are real or complex only. SAGE ignores a 'domain=F' in var('x',domain=F) for some finite field F! Is it possible to define symbolic variables as elements of a finite field? I need such variables in ord

[sage-support] find_root(f,a,b) returns 0.0 if f(a) or f(b) are not defined even though limits and root exist

2013-11-19 Thread eggartmumie
Hi, I wanted to find the probability to a given entropy, say 0.9 H = lambda p:((p - 1)*log(-p + 1)/log(2) - p*log(p)/log(2)).n() - 0.9; print 'root at', find_root(f,0.5,0.9); # returns correct root 0.683980653676 print 'root at', find_root(f,0.5,1.0); # returns 0.0 and no warning or

[sage-support] sum? inconsistent to sum??

2013-10-24 Thread eggartmumie
Hi, I am irritated because I wanted to apply sum to a vector which did not work as expected, therefore I asked for help by sum? and got something about Integer which is not related to the code as exhibited by sum?? Any explanation wellcome, best EM -- You received this message because you are s

[sage-support] Bessel functions and Zernike polynomials

2011-11-13 Thread eggartmumie
Hi, as a newbie I want to check some relations between Bessel functions and Zernike polynomials. To get some ideas first I tried to plot Bessel functions of different type as indicated in the Bessel?. To be able to distinguish the different types one wants to use color, but something like g = Bes

[sage-support] coercion does work in 4.5.2, does not work in 4.6(.2)

2011-05-03 Thread eggartmumie
Hi, as a newbie I am rather irritated about coercion working in 4.5.2 and not working in 4.6. In 4.5.2 the following works nicely and up to expectation F.=GF(2^4); for i in range(15): a = x^i; print a,'with integer representation', int(a); in 4.6 (on www.sagenb.org) or 4.6.2 I get 1 with in

[sage-support] coloring each pixel of a surface\subset\R^3

2011-02-10 Thread eggartmumie
Hi, I try to graph functions of one complex variable, so e.g. def f(z): return z^2/(1+z^2); vars('x y'); plot3d(lambda x,y: abs(f(x+i*y)),(x,-2,2),(y,-2,2)); works as expected. But now I want to color each pixel by the phase arctan2(f(z).real(),f(z).imag()) of the function value. Is there a s

[sage-support] newbie working (again) in polynomial quotient rings

2010-12-07 Thread eggartmumie
Hi, (sorry I was interrupted) I am a SAGE newbie working in polynomial quotient rings: I want to implement the Patterson algorithm to decode Goppa Codes. Therefore, I need to split a polynomial p in a quotient ring in its even part p0 and its odd part p1 such that p(z) = p0^2(z)+z*p1^2(z) = (p0(z))

[sage-support] newbie working in polynomial quotient rings

2010-12-05 Thread eggartmumie
Hi, I am a newbie working in polynomial quotient rings: I want to implement the Patterson algorithm to decode Goppa Codes. Therefore, I need to split a polynomial p in a quotient ring in its even part p0 and its odd part p1 such that p(z) = p0^2(z)+z*p1^2(z). I run into several problems to do so in

[sage-support] Re: passing coefficient ring and indeterminant to a function to return a polynomial in the intended polynomialRing

2010-07-29 Thread eggartmumie
Dear Simon, let me thank You for Your time and patience On 29 Jul., 14:20, Simon King wrote: > Hi Thomas! (sorry, previously I made a wrong guess on your name) > > On Jul 29, 10:02 am, eggartmumie wrote: > > > ... > > Later I need the coefficients of the Go

[sage-support] Re: passing coefficient ring and indeterminant to a function to return a polynomial in the intended polynomialRing

2010-07-29 Thread eggartmumie
On 29 Jul., 01:20, Nils Bruin wrote: > On Jul 28, 1:58 pm, Simon King wrote:> Anyway. > While differential rings are certainly nice algebraic > > structures, I feel uncomfortable to think of a derivation as some > > calculus stuff. > > The theory of Kaehler differentials does a pretty good job p

[sage-support] Re: passing coefficient ring and indeterminant to a function to return a polynomial in the intended polynomialRing

2010-07-28 Thread eggartmumie
Dear Simon, On Jul 20, 11:53 pm, Simon King wrote: > Hi! > > On 20 Jul., 22:58, eggartmumie wrote: > > > def goppapolynomial(F,z): # return a Goppa polynomial in z over ring > > or field F > >     X = str(z); R. = PolynomialRing(F); > >     return R(X^(N-K

[sage-support] passing coefficient ring and indeterminant to a function to return a polynomial in the intended polynomialRing

2010-07-20 Thread eggartmumie
Hi, to no avail I experimented e.g. with def goppapolynomial(F,z): # return a Goppa polynomial in z over ring or field F X = str(z); R. = PolynomialRing(F); return R(X^(N-K)); and some routine which given some 'goppapolynomial' as input constructs the coefficients w.r.t. the canonical m

[sage-support] Re: writing user defined modules in SAGEs web notebooks/worksheets

2010-03-14 Thread eggartmumie
Hi, On 14 Mrz., 17:22, vdelecroix <20100.delecr...@gmail.com> wrote: > Hello, > > > I would like to know whether I could write a user defined module, > > store it on e.g. our (!) SAGE server sage.informatik.hs-bremen.de > > and access functions of such a module by importing the module into > > ano

[sage-support] Re: writing user defined modules in SAGEs web notebooks/worksheets

2010-03-14 Thread eggartmumie
On 14 Mrz., 13:28, David Joyner wrote: > On Sun, Mar 14, 2010 at 8:08 AM, Eggart Mumie > > wrote: > > I am a newbie both to SAGE as well as to Python. > > I am very enthusiastic about SAGE > > which I am about to get to know using its web interface only. > > > I would like to know whether I cou