[sage-support] sage days 127, TU Vienna, Austria

u are interested in attending. Best wishes, Martin -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view

[sage-support] Re: Multivariate Non-Commuting power series

*y^2*x^3*y^2+1/7*y^2*x^2*y^2*x+1/7*y^2*x*y^2*x^2+2/7*y^2*x*y^4+1/7*y^4*x^3+2/7*y^4*x*y^2+1/7*y^6*x) + O^8 This is not well tested yet, so please be careful and report bugs! Best wishes, Martin On Monday, 6 January 2025 at 16:21:22 UTC+1 lev...@gmail.com wrote: > Hi everyone, > > I co

[sage-support] Re: Somethog in rotten is the state of Maxima...

@Emmanuel, why are you saying that FriCAS returns the same as sage? For me, fricas.solve works as expected. Martin On Sunday, 9 October 2022 at 18:43:03 UTC+2 Emmanuel Charpentier wrote: > It turns out that the original author has also posted this problem in > sage-devel

Re: [sage-support] subs in fractions of polynomials

ah! that's a good idea. is it "obvious", that subs won't work? dim...@gmail.com schrieb am Sonntag, 14. November 2021 um 12:27:44 UTC+1: > how about ex(c=1) ? > > On Sun, Nov 14, 2021 at 11:25 AM 'Martin R' via sage-support > wrote: > > >

[sage-support] subs in fractions of polynomials

I would expect subs to replace c with 1, but it doesn't. Why? sage: S. = QQ[] sage: R. = S[] sage: ex = (a*x+b)/(c*x + d) - (e*x+f)/(g*c*x + g*d) sage: ex ((a*g - e)*x + b*g - f)/(c*g*x + d*g) sage: ex.subs(c=1) ((a*g - e)*x + b*g - f)/(c*g*x + d*g) sage: ex.subs({c:1}) ((a*g - e)*x + b*g - f)/(c

[sage-support] Re: (LaTeX/dot2tex) view posets with edge and vertex labels

edge_label(v1, v2, c[(v1, v2)]) for v1, v2 in P.cover_relations()] sage: H.relabel({v: e[v] for v in P}) sage: H.set_latex_options(format="dot2tex", edge_labels=True) sage: view(H) works. Martin R schrieb am Dienstag, 2. November 2021 um 19:37:34 UTC+1: > is it possible to display a

[sage-support] (LaTeX/dot2tex) view posets with edge and vertex labels

er_relations()} sage: P.plot(element_labels=e, cover_labels=c) This almost works. Unfortunately, the layout is not the dot2tex layout, which I need because my posets are large, and it displays 'None' instead of the edge label. Martin -- You received this message because you are s

Re: [sage-support] SR: RuntimeError: error in Singular function call 'groebner': int overflow in hilb 1

: int overflow in hilb 1 error occurred in or before standard.lib::stdhilb line 300: `intvec hi = hilb( Id[1],1,W );` expected intvec-expression. type 'help intvec;' leaving standard.lib::stdhilb (0) FWIW: sage: I.groebner_basis(algorithm="singular:std") # works as expected

Re: [sage-support] SR: RuntimeError: error in Singular function call 'groebner': int overflow in hilb 1

ec;' leaving standard.lib::stdhilb (0) leaving standard.lib::groebner (1104) @Sam: as a workaround, you can “read off” the solution directly. Cheers, Martin Dima Pasechnik writes: > Don't do Groebner bases over SR, use a proper polynomial ring. > > On Thu, Jul 1, 2021 at 4:56

[sage-support] http://aleph.sagemath.org/

bove exception, another exception occurred: Is that a bug or by design (i.e. tightened security)? Cheers, Martin -- _pgp: https://keybase.io/martinralbrecht _www: https://malb.io -- You received this message because you are subscribed to the Google Groups "sage-support" group. To uns

Re: [sage-support] Size reduced of a basis

) FPLLL.set_precision(2) # 2 bits of precision! M = GSO.Mat(B, float_type="mpfr") M.update_gso() L = LLL.Reduction(M) L.size_reduction() C = B.to_matrix(matrix(ZZ, 10, 10)) # back to Sage's format #+end_src HNF is pretty bad for precision, so it’s an extreme example. Cheers, Martin

Re: [sage-support] Size reduced of a basis

1 0 0 0 0 0 -6] [ -1 0 0 0 1 0 0 0 0 -3] [ 0 0 0 -1 0 1 0 0 0 -18] [ 0 0 0 0 0 0 1 0 1 1] [ 0 0 0 -1 0 0 0 1 0 -5] [ 1 0 0 -1 0 0 0 0 1 14] [ 0 0 0 -1 0 0 0 0 -1 4] #+end_example Cheer

[sage-support] Re: Trouble with launching external viewer

I just discovered that this only happens when I use xdg-open from within emacs, no matter whether I use ansi-term or something else. Martin R schrieb am Sonntag, 6. September 2020 um 12:18:56 UTC+2: > > On a completely clean install (ubuntu, sage 9.2.beta11), doing > > sage: plot(si

[sage-support] Trouble with launching external viewer

On a completely clean install (ubuntu, sage 9.2.beta11), doing sage: plot(sin(x), (x,0,3)) Launched png viewer for Graphics object consisting of 1 graphics primitive or sage: view(graphs.PetersenGraph()) does not actually launch the external viewer. doing xdg-open in the sage -sh does. viewe

[sage-support] Re: Jupiter Server fails to start on macOS Catalina

did start. Unfortunately I > don't know if the critical step in my case was the removal of ~/.sage or of > the plist file. > > On Monday, January 6, 2020 at 1:13:50 PM UTC-5, Eric Martin wrote: >> >> Same behaviour, with the same log, also after giving Sage Full Disk

[sage-support] Re: Jupiter Server fails to start on macOS Catalina

Same behaviour, with the same log, also after giving Sage Full Disk Access as suggested by Ralf Martin. On Monday, January 6, 2020 at 2:44:19 PM UTC+1, slelievre wrote: > > > Mon 2020-01-06 10:04:35 UTC, Eric Martin: >> >> After installing sage-9.0-OSX_10.15.2-x86_64.app.d

[sage-support] Re: Jupiter Server fails to start on macOS Catalina

quot;sudo". > > > This does *not* fix the problem! > > On Monday, January 6, 2020 at 5:04:35 AM UTC-5, Eric Martin wrote: >> >> After installing sage-9.0-OSX_10.15.2-x86_64.app.dmg, doubling clicking >> the Sage icon immediately results in a window poppi

[sage-support] Re: Jupiter Server fails to start on macOS Catalina

I confirm that Jupyter does not start. My log shows the following output [I 18:14:07.652 NotebookApp] Using MathJax: nbextensions/mathjax/MathJax.js [I 18:14:07.842 NotebookApp] Serving notebooks from local directory: /Users/ralph/Documents/Sage Jupyter Notebooks [I 18:14:07.842 NotebookApp] The

[sage-support] Jupiter Server fails to start on macOS Catalina

After installing sage-9.0-OSX_10.15.2-x86_64.app.dmg, doubling clicking the Sage icon immediately results in a window popping up with the message: "Jupiter Server fails to start. For some reason the Jupiter server ailed to start. Please check the log for clues, and have that information handy wh

Re: [sage-support] Weak covers of permutations

On Friday, March 1, 2019 at 4:00:29 PM UTC-6, David Joyner wrote: > > > > On Fri, Mar 1, 2019 at 4:25 PM Jeremy Martin > wrote: > >> The weak_covers method gives incorrect answers: >> >> sage: for w in Permutations(3): >> : w, w.weak_covers(

[sage-support] Weak covers of permutations

The weak_covers method gives incorrect answers: sage: for w in Permutations(3): : w, w.weak_covers() : ([1, 2, 3], []) ([1, 3, 2], [[1, 2, 3]]) ([2, 1, 3], [[1, 2, 3]]) ([2, 3, 1], [[3, 2, 1]]) ([3, 1, 2], [[3, 2, 1]]) ([3, 2, 1], [[3, 1, 2], [2, 3, 1]]) The fourth and fifth lines of

[sage-support] Variables that are matrices?

Using var('x'), I can create a variable, which can then be used by solve(). However, solve() treats multiplication of such variables as commutative. Is there a way to tell solve() that a variable is a certain type, say a matrix, or more generally an element of a ring? -- You received this me

Re: [sage-support] Re: Lattice reduction over polynomial lattice

Hi, I don’t think this is implemented in Sage. Cheers, Martin Santanu Sarkar writes: Dear all, I am searching lattice reduction for polynomial matrices in Sage. Kindly help me. T. Mulders and A. Storjohann. On lattice reduction for polynomial matrices. Journal of Symbolic Computation

Re: [sage-support] SAT Random Solutions

Hi there, did you check that your system has more than one solution? In any case, solve_sat() takes a parameter `n` which tells it to recover more/all solutions. """ * "n" - number of solutions to return. If "n" is +infinity then all solutions are returned. If "n Hello > > I am trying to

Re: [sage-support] KASUMI on Sage

Hi Roberto, it’s not implemented in Sage, so you won’t find it. Cheers, Martin Roberto Labrada Claro writes: > Hi, I'm from Cuba and new to this group and I am learning to work with Sage, > I am using the virtual machine sage on Windows 10, I have a degree in > Mathematics, s

Re: [sage-support] Either Sage is doing something wacky or I am.

Jeremy Martin wrote: > > What is going on here? Those -1's are just incorrect. > They are because you are dividing ordinary Python ints instead of Sage > integers. Solution: ZZ(q)/ZZ(p) instead of q/p. > > > But shouldn't these two pieces of code > > produce

[sage-support] Either Sage is doing something wacky or I am.

Try running this code in either the cell server or the cloud: f = lambda p,q: matrix(p-1, p-1, lambda i,j: q*(p-1)/p if i==j else -q/p) for p in range(3,4): for q in range(2,3): print f(p,q) print f(3,2) This produces the following output: [4/3 -1] [ -1 4/3] [ 4/3 -2/3] [-2/3 4/3]

[sage-support] Documentation for plot3d()

The documentation for plot3d() is a little misleading: - cut here - We draw two parametric surfaces and a transparent plane: sage: L = plot3d(lambda x,y: 0, (-5,5), (-5,5), color="lightblue", opacity=0.8)s

Re: [sage-support] libSingular multiple return values are lost.

- if no ring is given we try to find one as we do currently. - if that fails because the inputs are not polynomials of any kind, we could use a dummy ring ? Cheers, Martin > Thank you in advance. Anyway, this libSingular interface is brilliant! -- .www: https://martinralbrecht.wordpress.com .pg

[sage-support] Why does html with embedded SAGE files work from the internet but not when on my computer?

I have tried to run the same files from the internet and from my computer on various browsers using Windows 7 and 8. The internet versions run perfectly. The files from my computer used to work, but now when evaluated the SAGE response box opens and then spins without any further response. I ju

Re: [sage-support] CryptoMiniSat package

Hi, see here: http://doc.sagemath.org/html/en/reference/sat/index.html#solvers sage: from sage.sat.solvers.dimacs import DIMACS sage: fn = tmp_filename() sage: solver = DIMACS(filename=fn) sage: solver.add_clause( ( 1, 2, 3) ) sage: solver.add_clause( ( 1, 2, -3) ) sage: _ = solver.write() sa

Re: [sage-support] I.variety() and polynomial order

P So the documentation should be updated. Cheers, Martin On Monday 20 Apr 2015 06:21:21 Peter Mueller wrote: > Dear All, > > let I be an ideal of a polynomial ring. Then, according to the doc, > I.variety() expects the underlying polynomial ring to have lexicographic > order.

Re: [sage-support] CryptoMiniSat

Hi, $ sage -i cryptominisat && sage -b should do the trick. Cheers, Martin On Monday 20 Apr 2015 07:01:00 Dibyendu Roy wrote: > Dear Members, > > I want to install CryptoMiniSat 2.9.9. I have downloaded the latest file > from https://gforge.inria.fr/frs/?group_id=1992. C

Re: [sage-support] Re: Whats wrong with my function syntax?

On Thu, Apr 2, 2015 at 7:02 AM, kcrisman > wrote: > Interesting idea, though what if it was intended in something, such as a > plot legend? > Perhaps we could run such substitutions at a time where strings have been removed from the code during preparse. The preparser works by stripping st

Re: [sage-support] F,s = sr.polynomial_system(P,K) for SR(5,2,2,4)

ntry lists. Cheers, Martin On Tuesday 17 Mar 2015 02:01:14 Joe Ouni wrote: > thank you for your reply > > I get the following error : > a matrix from Full MatrixSpace of 4 by 1 dense matrices over Finite Field > in a of size 2^8 cannot be converted to a matrix in Full MatrixSpace o

Re: [sage-support] F,s = sr.polynomial_system(P,K) for SR(5,2,2,4)

On Monday 16 Mar 2015 12:45:07 Joe Ouni wrote: > Hello , > > The following SR (2,1,1,4) worked fine. > > sage: sr = SR(2,1,1,4,star=True,aes_mode=True, > gf2=True,allow_zero_inversions = True) > sage: P = sr.vector([0, 0, 1, 0]) > > sage: K = sr.vector([1, 0, 0, 1]) > sage: C = sr(P,K) > sage: l

Re: [sage-support] m4rie build error on debian wheezy 7.8.0

Hi, it seems you're running into a compiler bug: libtool: compile: gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I./m4rie -I/home/alwi- wheezy/sage-6.5/local/include -I/include -mmmx -msse -msse2 -msse3 -O2 -fPIC - Wall -pedantic -g -I/home/alwi-wheezy/sage-6.5/local/include -MT m4rie/conversion_cling16.

Re: [sage-support] How convert from PolynomialSequence to DIMAC format

Hi, try: http://www.sagemath.org/doc/reference/sat/ Cheers, Martin PS: it's the first hit on Google when you search for "PolynomialSequence DIMACS Sage". Just saying. On Wednesday 28 Jan 2015 12:57:21 Juan Grados wrote: > Dears members, > I have a object PolynomialSeq

Re: [sage-support] Sage LLL differs from PARI/gp

as 4 but x may have polynomial coefficients, 8: same as 0 but x may have polynomial coefficients. Pari returns the transformation matrix not the reduced basis. Cheers, Martin On Monday 05 Jan 2015 09:23:03 Ralf Stephan wrote: > Hello, > why do Pari and Sage give wildly different r

[sage-support] How to make view open pdf-viewer in background

Hi there! I'm using view to display my graphs and posets. I would like to have it run the viewer (xdg-open, which in the case at hand is evince) in the background. This is on a linux box, running sage 6.5.beta2. Many many thanks! Martin -- You received this message because yo

Re: [sage-support] PB with sr.mq module

Works for me: sage: sr = mq.SR(1,1,1,4, gf2=True, polybori=True) sage: K = sr.base_ring() sage: a = K.gen() sage: K = [a] sage: P = [1] sage: F,s = sr.polynomial_system(P=P, K=K) sage: F.groebner_basis() [k100, k101 + 1, k102, k103 + k003, x100 + 1, x101 + k003 + 1, x102 + k003 + 1, x103 + k003,

Re: [sage-support] Re: var() definition in finite fields

Your matrix is over GF(2) not over the symbolic ring SR: sage: m1 = SR(GF(2)(1)) * var("m1") sage: m2 = SR(GF(2)(1)) * var("m2") sage: m3 = SR(GF(2)(1)) * var("m3") sage: m4 = SR(GF(2)(1)) * var("m4") sage: q = Matrix(SR, [ [m1, m2], [m3, m4], ]) sage: q^2 [ m1^2 + m2*m3 m1*m2 + m2*m4] [

Re: [sage-support] how to get a list of terms of expression such as x+z^2 in gap system

thank you. actually i mean in gap system i solved with poly1 := 0; for j in [1..Length(prepoly1[1])] do zz:=1; for i in SplitString(String(prepoly1[1][j]), "+" ) do zz:=zz*EvalString(i); od; if zz <> 1 then poly1 := poly1 + zz; fi; od; vdelecroix於 2014年9月28日星期日UTC+8下午5時24分34秒寫道： >

[sage-support] how save the terminal and not close it and let it continue to run in gap system after sign out

in sage cloud how save the terminal and not close it and let it continue to run in gap system after sign out? how to terminate the terminal if it hangs after running a command for above question? -- You received this message because you are subscribed to the Google Groups "sage-support" grou

[sage-support] how to get a list of terms of expression such as x+z^2 in gap system

how to get a list of terms of expression such as x+z^2; how to convert to a list [x, z^2] for for loop to get each terms? -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send a

[sage-support] How to download the file from terminal of sage cloud

How to download the file from terminal of sage cloud assume i export file from a software in terminal and want to download this file to my local drive in my home computer how to download this file? -- You received this message because you are subscribed to the Google Groups "sage-support" gr

[sage-support] Re: Weird! OverflowError: cannot convert float infinity to integer

e(matrix(K)) (sage.rings.finite_rings.finite_field_ntl_gf2e.FiniteField_ntl_gf2e_with_category, sage.matrix.matrix_generic_dense.Matrix_generic_dense) I've fixed it at: http://trac.sagemath.org/ticket/17027 Cheers, Martin On Saturday 20 Sep 2014 04:07:08 Volker Braun wrote: > I still get the overflow with the m4ri update that is bound to be in > 6.4.bet

Re: [sage-support] Question about solve_sat

It means that the system is believed to be unsolvable. On Wednesday 27 Aug 2014 13:54:47 Juan Grados wrote: > Dear members, > > I'm trying to solve the attach formulas but I get FALSE, anyone know what > means that, or Why I get FALSE? > > sage: solve_sat(PolynomialSequence(F,RR),n=infinity) > F

Re: [sage-support] Question about SAT solver

This is a bug. In particular: sage: S.solve(eliminate_linear_variables=False) [{w: 0, z: 0, y: 0, x: 0}] Does the trick. The bug is that eliminating linear variables already solves the problem and the logic in solve() doesn't handle this case. Please open a ticket and CC me. On Tuesday 12 Aug

Re: [sage-support] A possible bug in boolean polynomial

Why? These are different errors. One is (probably) an integer overflow, the other a failure to allocate 2^30 something. On Sunday 10 Aug 2014 04:38:52 pp wrote: > Hi all, > > Consider the following code: > > NUM = 2 > R = BooleanPolynomialRing(NUM, ['x%d'%(i) for i in range(NUM)]) > expr = R('x

[sage-support] Re: Blank result from animate().show() in notebook

I'm the author of http://trac.sagemath.org/ticket/16533. The way I see it, in the past the animate call probably relied on the fact that the notebook will pick up an image generated in the current directory which is a temporary directory just for this single cell. So saving the image was enough

Re: [sage-support] Error when trying to input an 8-bit Sbox into the argument of S = mq.SBox(.)

> this? > > On Saturday, December 22, 2012 9:16:31 AM UTC-8, Martin Albrecht wrote: > > Pass a list of numbers instead of independent numbers. SBox( [1,2,3]) not > > SBox(1,2,3) > > > > sent from a telephone. > > > > On 19 Dec 2012 08:17, "sea21&qu

Re: [sage-support] Re: Sage posts "PowmInsecureWarning: Not using mpz_powm_sec." when launched

On Saturday 07 Jun 2014 13:34:18 Volker Braun wrote: > Afaik its only used in the openid module. And exploiting a timing attack > over network is most likely not possible. they are practical at least over LAN: https://crypto.stanford.edu/~dabo/papers/ssl-timing.pdf > On Saturday, June 7, 2014 8

Re: [sage-support] enum algorithm

ction is L.closest_vector(t) which uses > Miccianchio-Voulgaris algorithm. Is there also another algorithm from > fplll? > thanks > > On Tuesday, May 13, 2014 8:37:25 PM UTC+3, Martin Albrecht wrote: > > On Tuesday 13 May 2014 09:51:27 J.A. Ketch wrote: > > > are the fo

[sage-support] tab-completion in sage_mode / emacs broken

d-char) (when (python-current-word) (ipython-describe-symbol (python-current-word)) But I don't know where to go from here. (Of course, pcomplete is not returning...) Thanks for any help, Martin -- You received this message because you are subscribed to the Google Groups &

Re: [sage-support] Can't evaluate a polynomial on a finite field if representation is not "poly"

Looks like a bug, can you open a ticket? On Monday 19 May 2014 19:13:55 Grégory Landais wrote: > Hello, > > evaluating a polynomial on a finite field does not work if the finite > field was created with a 'repr' argument in the constructor different > than the default one (poly). > > Curently us

Re: [sage-support] enum algorithm

ementing an interface http://trac.sagemath.org/ticket/15976 > miccianchio-voulgaris algorithm(for svp and cvp) The same ticket also contains code for CVP computation using Voronoi cell computation (which was actually written ages ago, but never merged) > thank you Cheers, Martin signatur

Re: [sage-support] Re: Sampling elements from a vector space

Why not: %time A = random_matrix(GF(4,'a'), 36, 10^6) CPU times: user 568 ms, sys: 12 ms, total: 580 ms Wall time: 578 ms However, getting the rows out takes ages. The reason is that vectors over GF(4) are generic, i.e. noone sat down and wrote up a simple class which implements these vectors a

Re: [sage-support] Re: Complex embedding with quotient()

g > construction: > > f = F([omega],check=False) > > The error you run into otherwise is: > > sage: sage.rings.morphism.RingHomomorphism_im_gens(H,[omega]) > ValueError: relations do not all (canonically) map to 0 under map > determined by images of generators. > > i.e., the cyclotomic polynomial ev

Re: [sage-support] Irreducibility of polynomials

ic irreducibility test, based on // DDF. Fast on average (when f has a small factor). Gruß, Martin On Wednesday 07 May 2014 05:51:11 Silke Johler wrote: > Hi everyone, > > I would like to know which test Sage uses to test irreducibility of a > polynomial over GF(2). Is it Rabin`s Test? Ho

[sage-support] Re: Not spam despite subject ... Fwd: REQUEST FOR ASSISTANCE

Hi, just doing sage: A = matrix(GF(2), 52751923, 39) sage: A[i,j] = your entry doesn't do the trick? In this case: with extremely high probability this matrix has full rank, so imply extract a, say, 1000 x 39 submatrix, compute Gaussian elimination on that. The rest will be zero anyway. On T

Re: [sage-support] segmentation fault computing discriminants

On Wednesday, March 26, 2014 1:32:13 PM UTC+1, John Cremona wrote: > > You should definitely open a trac ticket. I just opened #16014 for this. And would make this a link to http://trac.sagemath.org/ticket/16014 if the Google Groups editor weren't too broken to let me do so… Don't expect that

Re: [sage-support] segmentation fault computing discriminants

On Wednesday, March 26, 2014 10:34:35 AM UTC+1, John Cremona wrote: > > Looking at the code used, it uses the resultant formula which in turn > evaluates a determinant. I agree with you that for small degrees it > would be better (almost certainly in a lot of cases) be better to > substitute in

[sage-support] segmentation fault computing discriminants

The following sage code dies on me, after computing for quite some time: ┌┐ │ Sage Version 6.1.1, Release Date: 2014-02-04 │ │ Type "notebook()" for the browser-based notebook interface.│ │ Type "help

[sage-support] Polynomial division without remainder

Working in a stack of multivariate polynomial rings, how can I compute the quotient of two polynomials in those cases where I know the remainder to be zero? Reading the docs I found two likely approaches, but neither seems to work as I'd have hoped. See below for error messages. Example: sage

Re: [sage-support] what is the syntax of the repeat loop ?

You'd write it like this: sage: sage.rings.polynomial.toy_buchberger.buchberger?? G = set(F.gens()) B = set(filter(lambda (x,y): x!=y, [(g1,g2) for g1 in G for g2 in G])) while B!=set(): g1,g2 = select(B) B.remove( (g1,g2) ) h = spol(g1,g2).reduce(G)

Re: [sage-support] Readonly access to ask.sagemath.org

On Tuesday, March 18, 2014 2:30:53 PM UTC+1, William wrote: > > Would you be interested in taking the full existing data and getting it to > work in a clean ubuntu 12.04 VM? > I think the main thing this would require is patience and django knowledge. > Sorry, I lack the django knowledge. I'm op

Re: [sage-support] Readonly access to ask.sagemath.org

On Monday, March 17, 2014 5:37:23 PM UTC+1, William wrote: > > Sure if somebody will volunteer to configure this! > Would you grant the required privileges to a person you don't know? I don't know what the current config looks like, but this doesn't sound too difficult. So if you want to (and ar

[sage-support] Readonly access to ask.sagemath.org

Is it possible to restore at least read-only service to ask.sagemath.org? A lot of questions seem to have answers there, according to the excerpts which pop up in Google searches, but the answers themselves are unavailable due to the down-time. And I fear that with time, if the site remains una

Re: [sage-support] sage.libs.pari.gen.PariError: ZZ_123...1[y]/(y^2 + ...) is not a field in FpX_ffintersect

Reported as http://trac.sagemath.org/ticket/15886 Thanks for listening. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.co

Re: [sage-support] sage.libs.pari.gen.PariError: ZZ_123...1[y]/(y^2 + ...) is not a field in FpX_ffintersect

On Monday, March 3, 2014 5:31:18 PM UTC+1, martin@gmx.net wrote: > Nevertheless, here is a minimal example: > > https://gist.githubusercontent.com/gagern/9320350/raw/d1896f7a5a05b24075098941c9c3ff156ca6c139/MinimalReprodcing6.sage > > It is minimal in the following sense

Re: [sage-support] sage.libs.pari.gen.PariError: ZZ_123...1[y]/(y^2 + ...) is not a field in FpX_ffintersect

t as I said, I can't make the expression any easier and still reproduce the issue. In terms of number of commands, it should be fairly close to minimal, but the command defining the expression is huge. On Monday, March 3, 2014 11:36:03 AM UTC+1, Jeroen Demeyer wrote:On 2014-03-03 09:11, ma

[sage-support] sage.libs.pari.gen.PariError: ZZ_123...1[y]/(y^2 + ...) is not a field in FpX_ffintersect

I'm trying to find a formula concerned with some computation about the relative position of two ellipses. But some result along the way looks strange when evaluated with RDF numbers, and trying to plug in algebaric numbers instead, I encounter the following error message: sage.libs.pari.gen.Par

Re: [sage-support] Re: groebner bases of polynomials with complex coefficients

3.5*x2 is your problem. Replace 3.5 by 7/2 and you are good to go. Cheers, Martin PS: Those error messages are meant to be helpful regardless of how scary they might look :) You can also try to reduce your input in order to figure out which part exactly triggers the error. signature.asc Description: OpenPGP digital signature

[sage-support] Re: CryptoMiniSat package

Hi Valerie, please direct such questions to [sage-support] which I CCed. On Tuesday 31 Dec 2013 10:51:06 you wrote: > Hi Dr Martin, > > > I downloaded the CryptoMiniSat package from > http://www.sagemath.org/packages/optional/ and > > would like to save the clauses deri

Re: [sage-support] Install cryptominisat-2.9.5 in Ubuntu 13.10

age(package, force) > 169 if not force: > 170 if is_package_installed(package): > --> 171 raise ValueError, "Package is already installed. > Try install_package('%s',force=True)"%(package) > 172 raise Value

Re: Re: [sage-support] Re: Re: Re: Re: Re: Re: Re: error: setupterm: could not find terminal

Hi all, see http://trac.sagemath.org/ticket/15091 Cheers, Martin On Saturday 24 August 2013 10:14:42 Jeroen Demeyer wrote: > On 2013-08-23 16:02, Volker Braun wrote: > > I see. The path is indeed hard-coded in libtinfo.so. Does setting the > > TERMINFO environment variable

[sage-support] Re: Re: Re: Re: Re: Re: Re: error: setupterm: could not find terminal

Hi Volker, ah, I got it: I moved $SAGE_ROOT from /opt/sage-5.12.beta3 and to /opt/sage-5.12 and somehow the relocation didn't work, i.e., the path is hardcoded somewhere. Cheers, Martin On Friday 23 August 2013 05:49:46 you wrote: > Your build log contains > > 1600 entries w

[sage-support] Re: Re: Re: Re: error: setupterm: could not find terminal

perhaps note that I am on zsh if that makes a difference (?) Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de signature.asc Description: This is a digitally signed message part.

[sage-support] Re: Re: Re: error: setupterm: could not find terminal

al/lib -L. -lncurses -lpython2.7 -o build/lib.linux-x86_64-2.7/_curses.so Cheers, Martin On Thursday 22 August 2013 07:40:23 Volker Braun wrote: > Your Python managed to build the _curses extension? Mine didn't, which is > presumably why it Python can't get itself confused: > > bu

[sage-support] Re: Re: error: setupterm: could not find terminal

with "more". Cheers, Martin On Thursday 22 August 2013 06:12:29 Volker Braun wrote: > The change is because we switched to ncurses instead of termcap. > > Are you on OSX? Your TERM should be set to xterm-new or, even > better, xterm-256color > > https://code.google.com

[sage-support] error: setupterm: could not find terminal

wn"), ---> 33 fd=_sys.__stdout__.fileno()) 34 stdscr = _curses.initscr() 35 for key, value in _curses.__dict__.items(): error: setupterm: could not find terminal sage: This is in konsole (KDE's console). Any ideas? Cheers, Martin -- name: Martin Al

Fwd: [sage-support] Re: Possible bug in algebraic_immunity( ) function in crypto toolbox

Hi Yann, I believe you are the original author of this code? Cheers, Martin -- Forwarded Message -- Subject: [sage-support] Re: Possible bug in algebraic_immunity( ) function in crypto toolbox Date: Tuesday 20 August 2013, 08:54:18 From: Oleksandr Kazymyrov To: sage-support

[sage-support] n-dimensional numerical integration

Hi all, do we have n-dimensional numerical integration in Sage? All I can find is 3D, but what about higher dimensions? Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www:

Re: [sage-support] Modifying ANF2CNF converter to produce limited number of CNF clauses

be input to the converter, along with the ANF expression). > > Please help if anybody can come up with a solution. > > Thanks a lot. Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E

Re: [sage-support] Conjunctive Normal Form

leanPolynomialRing() > f=a+b*c Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- You received thi

Re: [sage-support] What is "set_verbose" command in buchberger algorithm?

y^2 + z, z^3 + y^2]) > > (z^3 + y^2, x^6 - y^2 + z) => 0 > G: set([x^6 - y^2 + z, z^3 + y^2]) > > 2 reductions to zero. > [x^6 - y^2 + z, z^3 + y^2] > I just want to know what is "set_verbose(3)" command in this? also "toy:" > ... that I just

Re: [sage-support] Problem in Sat Solver

e.sat.boolean_polynomials > B= sage.sat.boolean_polynomials.solve(I.gens()) Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.c

Re: [sage-support] Possible bug in anf2cnf.py

he monomial a*b. On multiplying these clauses, the > answer comes as a' + b', and not a*b as required. > > Can anybody please help? Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E

Re: [sage-support] Re: Random Permutation

t; zero-based, but Permutations(50) permutes the numbers from 1 to 50, not > from 0 to 49. > > Best regards, > Simon Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _ww

Re: [sage-support] Arrays of Boolean variables

shows the variables, which I > do not want. > Is there any way to tackle this? Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab:

Re: [sage-support] Sat Solver

infinity import PlusInfinity > > from sage.sat.solvers import SatSolver > from sage.sat.converters import ANF2CNFConverter > > > > Traceback (click to the left of this block for traceback) > ... > ImportError: No module named sat.solvers Cheers, Martin -- name: Marti

Re: Re: [sage-support] Solve system of non linear equations

> * Unable to download cryptominisat-2.9.5 > * Please see http://www.sagemath.org//packages for a list of valid > * packages or check the package name. > ** > Error:

Re: [sage-support] Error when trying to input an 8-bit Sbox into the argument of S = mq.SBox(.)

Pass a list of numbers instead of independent numbers. SBox( [1,2,3]) not SBox(1,2,3) sent from a telephone. On 19 Dec 2012 08:17, "sea21" wrote: > Why is it that when I try to input an 8-bit Sbox into the argument of S = > mq.SBox(.), I get the error: "SyntaxError: more than 255 arguments"? Doe

Re: Re: [sage-support] Re: Groebner Basis over finite field

> "sage-support" group. > > To post to this group, send email to sage-support@googlegroups.com. > > To unsubscribe from this group, send email to > > sage-support+unsubscr...@googlegroups.com. > > Visit this group at http://groups.google.com/group/sage-support?hl=

Re: Re: [sage-support] Solve system of non linear equations

lean_polynomials.solve(I.gens()) [{x7: 1, x8: 0, x9: 1, x6: 0, x5: 0, x4: 1, x3: 1, x1: 1, x2: 1, x0: 1}] sage: I.groebner_basis() [x0 + 1, x1 + 1, x2 + 1, x3 + 1, x4 + 1, x5, x6, x7 + 1, x8, x9 + 1] Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=g

Re: Re: [sage-support] Re: Solve system of non linear equations

e you can download it in the paper. > > All that said, when I look at your system, I wonder if something's wrong > with the formatting, because it looks to me as if it's either linear or > univariate. Is that the case? > > regards > john perry Cheers, Martin

Re: [sage-support] Re: Solve system of non linear equations

fineSpace(GF(2),2) > sage: S = AA.subscheme(x^2+y^2) > sage: S.point_set().points() > [(0, 0), (1, 1)] > > On Saturday, December 8, 2012 6:14:19 AM UTC, Santanu wrote: > > I have a system of non linear equations over GF(2). How to solve > > > > them in Sage? Che

[sage-support] Reset admin password

I am sshing into a sage server as admin and I want to change the admin password. How do I do this? -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this grou

Re: [sage-support] libm4rie-20120613 will not build on Ubuntu Server 12.04.1 LTS x86

don-Curtis/5046185> > <https://plus.google.com/u/0/105858766264293200612/about> > <http://brandoncurtis.net> > <http://jbei.org> > * Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36

  1   2   3   4   5   >