2020-12-02 07:38:18 -0600 | commented question | What's the easiest way to calculate a Hironaka standard basis using SageMath? Is this related to local orderings as defined in Singular? |

2020-12-01 17:58:10 -0600 | answered a question | Indexing variables in a list comprehension You can use Another trick is to start your indexing at |

2020-11-23 15:46:33 -0600 | commented answer | Klee-Minty cube vertices for D=5 Don't worry; an expert is someone who has made every possible mistake :) |

2020-11-23 13:57:47 -0600 | answered a question | Klee-Minty cube vertices for D=5 In addition to the typo, you displayed the correct |

2020-11-21 13:18:25 -0600 | received badge | ● Nice Answer (source) |

2020-11-20 16:01:09 -0600 | answered a question | Plot velocity and acceleration vectors of a space curve The problem is that calling Or, what you probably meant to do: make With both approaches, your code works: |

2020-11-20 15:39:57 -0600 | answered a question | Error generating finite field The variable is valid. This assignment statement however Then, any future polynomial expression in is not valid, because Sage will do its best to convert the given Your second variant works because If you do not need a variable to hold the generator of your field, just write e.g. as above. But in general, be careful about naming your variables and not accidentally overwriting them. Also, it is better to explicitly define e.g. |

2020-11-19 04:19:50 -0600 | received badge | ● Nice Answer (source) |

2020-11-18 17:53:29 -0600 | commented answer | How can I add arbitrary text to a Graph object You're welcome. You can accept an answer by clicking the ✅ |

2020-11-18 15:49:23 -0600 | answered a question | How can I add arbitrary text to a Graph object To add text to a plot, literally add the result of a call to |

2020-11-11 16:22:46 -0600 | received badge | ● Nice Answer (source) |

2020-11-11 10:44:13 -0600 | commented question | assignment vs. subs() The assignment |

2020-11-11 10:33:57 -0600 | answered a question | assignment vs. subs() There is no implementation for substituting a matrix into a symbolic expression, because the operation is not well-defined in general. (For example, what should happen when you substitute a matrix into Of course it is well-defined for polynomials. This substitution It is easier (in life in general) to avoid symbolic expressions altogether, and to define |

2020-11-10 15:46:49 -0600 | commented question | Braces inside a plot When I run the code, the brace is nowhere near the $x$ label. Where do you want the brace exactly? |

2020-10-31 07:26:44 -0600 | commented question | All rational periodic points Probably it is a good idea to ask on MathOverflow. |

2020-10-31 06:09:40 -0600 | answered a question | Tonelli-Shank values are incorrect when trying to get back to c value for Rabin It seems you have found two solutions $r_1,r_2$ to the equation $r^2 = c \pmod p$, instead of modulo $n=p^2$. These can be lifted to solutions of $r^2 = c \pmod n$ as explained in Tonelli's 1891 note: |

2020-10-26 10:01:46 -0600 | commented question | Cohomology ring of a Lie algebra Could you add the code you have so far? |

2020-10-21 05:26:31 -0600 | answered a question | Plot the solution of a system of equations |

2020-10-18 05:09:15 -0600 | answered a question | plot of sine, parabola intersection works but solve makes no sense It makes sense: it tried to solve symbolically, and it didn't get very far (it isolated the square, and took ± the square root). You don't want to solve symbolically but numerically. You want to find the two real zeros of |

2020-10-17 19:16:40 -0600 | commented question | Problem with factor and imag. Weird. |

2020-10-17 17:37:53 -0600 | answered a question | Defining a function with different symbolic expressions in different parts of its domain specified by conditional statements If your goal is to plot, then you only need a function that accepts numbers and returns numbers: Indeed, Now, this function does not play well with symbolic variables: It is because inequalities with symbolic variables only evaluate to But it does not help with plotting. The above explains why e.g. You can have univariate piecewise-defined symbolic functions in Sage, to some extent: It gives the same plot. Now it is also possible to evaluate Again, the same plot. This 'piecewise' functionality is unfortunately somewhat fragile, e.g. To plot a surface with a piecewise parametrization, avoid symbolic variables: Your surface: |

2020-10-16 09:36:23 -0600 | answered a question | 'builtin_function_or_method' object has no attribute 'split' Indeed if You meant |

2020-10-14 15:07:42 -0600 | received badge | ● Good Answer (source) |

2020-10-14 13:37:12 -0600 | received badge | ● Nice Answer (source) |

2020-10-14 11:06:58 -0600 | answered a question | Is there a reliable way to check if an object is a vector? You want It checks whether the input is an instance of the abstract element class |

2020-10-10 07:07:10 -0600 | commented answer | Refinement between Lists of lists Nice one! :) |

2020-10-07 13:36:14 -0600 | commented question | Multipartitions of a multiset in Sage Generate partitions of |

2020-10-07 02:57:31 -0600 | commented question | Obtaining a simplicial complex associated to a poset with the help of Sage Please add the code you have so far, with an example $P$. |

2020-10-03 10:23:22 -0600 | commented answer | Translating GAP-output into sage for lattices The different labeling seems to be due to FindStat, but they don't explain anywhere how their canonical labeling works, as far as I can see. |

2020-10-03 10:02:12 -0600 | received badge | ● Nice Answer (source) |

2020-10-03 09:53:59 -0600 | answered a question | Translating GAP-output into sage for lattices So essentially you want to turn a leq-matrix into a I don't understand why you write a different labeling of the vertices, but I hope this helps. |

2020-10-01 02:40:37 -0600 | received badge | ● Good Answer (source) |

2020-10-01 01:45:14 -0600 | received badge | ● Nice Answer (source) |

2020-09-30 16:00:54 -0600 | answered a question | Defining 4jm Wigner symbols With this syntax you are trying to create a callable symbolic expression. It doesn't work because the symbolic In this case you have no need for symbolics at all; you can just define a plain Python function, using the plain (non-symbolic) Or, without |

2020-09-30 14:32:59 -0600 | answered a question | Evaluate a curl at a point? It is shown on the bottom of the reference manual page for vector fields, using the at method: $$\mathrm{curl}\left(v\right) = -2 e_{ z }$$ (For some reason, the point is not displayed in the notation. Not sure why this is. I would expect it as a subscript.) |

2020-09-21 23:25:03 -0600 | received badge | ● Good Answer (source) |

2020-09-21 10:09:55 -0600 | received badge | ● Nice Answer (source) |

2020-09-19 09:28:26 -0600 | received badge | ● Nice Answer (source) |

2020-09-19 07:00:05 -0600 | received badge | ● Nice Answer (source) |

2020-09-19 06:38:19 -0600 | answered a question | How to express elements in a field of prime order and power of a prime order using the same function? This method is currently available only for the Givaro and NTL implementations of finite fields. You can specify the implementation using the In theory, this method could easily be added to all implementations. You might open a trac ticket for it and/or bring it up on the sage-devel mailing list. |

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.