Is it possible to define a protected division operator in SageMath that turns division by zero into the constant 1? I want to be able to do this when simplifying an expression in Sage. What would be the best approach to it?
Well, using Python exceptions, you may define a division function like this:
def div(x, y):
try:
return x/y
except ZeroDivisionError:
return 1
It yields
sage: div(2,3)
2/3
sage: div(2,0)
1
sage: div(x,x-x)
1
Thanks for your answer, Eric. Where do I need to define this function so Sage knows about it when evaluating the operation? Also, I'm running a Python script to simplify an equation, so, will it call this function when simplifying it? This is done by the following lines of code:
eq = "div(x0, x1)"
print(sage_eval(eq, locals=local_vars))
Asked: 2017-12-19 08:56:34 +0100
Seen: 647 times
Last updated: Dec 20 '17
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
It sounds like you would like to change the behaviour of division in "SymbolicRing" (where simplification is explicitly available). The result would be that you cannot trust the answer at all. Perhaps it is possible to replace the zeros you end up dividing by with a variable, say "zero" and simplify that expression? Then "zero/zero" gets simplified to 1. Then you could substitute "zero=0" afterwards.