Edinah's profile - activity

You can not (yet?) define polynomials over NN in Sage, because it is not a ring. What you can do is to define your polynomial over ZZ, find its factors (as elements of ZZ[x]), and then recombine them to find polynomials with non-negative entries.

Is there an easy way in sage to determine the factorization of a polynomial in the variable x ( having non-negative integer coefficients), over the semi-ring of polynomials in the variable x with non-negative integer coefficients.

Thank you very much!

That's a good question. You can inspect the global variables that have been defined at any given point in a session, but most of those will be defined when various modules load on Sage startup. You can look just at those globals whose type is sage.symbolic.expression.Expression, there aren't too many at startup:

sage: G = globals()
sage: for k in G:
....:     if type(G[k]) == sage.symbolic.expression.Expression:
....:         print k
golden_ratio
log2
NaN
merten
I
twinprime
pi
catalan
brun
euler_gamma
x
khinchin
i
glaisher
mertens

Anything not on that list is a global symbolic expression that is defined in your loaded session. Variables will be among these.

How do I get the list of user defined variables in a sage session I just loaded using the load_session command ?