ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 28 Mar 2019 00:29:57 -0500ideal membership and solutionhttps://ask.sagemath.org/question/45932/ideal-membership-and-solution/I gave sage the following ring and the ideal
R.<x,y,z>=GF(2)[];
f=1 + z + y*z + y^2*z + z^2 + y*z^2;
g=1 + x + y^2 + z^2;
I = R.ideal(f, g)
I found that the function h below lies in the Ideal I using
h=1 + y + z + x*z + y*z + x*y*z + y^2*z + y*z^2;
h in I
I know that in general, finding polynomials $a(x)$ and $b(x)$ such that $h = a f+ b g$ might be hard, but can I find the solutions for $a$ and $b$ to a certain degree of these polynomials, if they exist? I was wondering if sage can check this more efficiently
arpitThu, 28 Mar 2019 00:29:57 -0500https://ask.sagemath.org/question/45932/Accessing GAP's in function through the C Interfacehttps://ask.sagemath.org/question/36458/accessing-gaps-in-function-through-the-c-interface/Is there a way to access GAP's `in` function through Sage's C Interface to GAP?
gap> Identity(G) in G;
true
EDIT:
I was wondering how to call this from Sage:
sage: G = libgap.SymmetricGroup(5)
sage: g = libgap.eval('(1,2,3)(4,5)')
How do I test if `g` is in `G`?jaebondSun, 05 Feb 2017 10:24:58 -0600https://ask.sagemath.org/question/36458/Express domain membershiphttps://ask.sagemath.org/question/9620/express-domain-membership/Hello
I am trying to write an expressing showing its membership in ZZ, RR, QQ.
e.g
In sage "assume(x in ZZ) "gives me error.
If I want to show that the symbol x belongs to ZZ then how should I express it ?
Best wishes
sage_learnerWed, 02 Jan 2013 00:25:18 -0600https://ask.sagemath.org/question/9620/