Ask Your Question

joshuarbholden's profile - activity

2022-09-22 01:08:31 +0100 asked a question Is there a command to compute a *non-reduced* Hermite echelon form of a matrix?

Is there a command to compute a *non-reduced* Hermite echelon form of a matrix? I'd like to compute a Hermite echelon fo

2020-12-12 20:36:14 +0100 commented question What's the easiest way to calculate a Hironaka standard basis using SageMath?

Will do, thanks!

2020-12-03 04:31:32 +0100 commented question What's the easiest way to calculate a Hironaka standard basis using SageMath?

Yes and no. Changing the monomial ordering is necessary but not sufficient (AFAICT) to calculate Hironaka standard bases.

2020-12-02 15:05:45 +0100 received badge  Nice Question (source)
2020-12-02 14:24:12 +0100 received badge  Student (source)
2020-12-02 11:53:29 +0100 asked a question What's the easiest way to calculate a Hironaka standard basis using SageMath?

Hi, everyone!

I'm trying to do some computations with (truncated) multivariable power series, which I'd like to put into Hironaka standard basis form. This is almost the same as a Groebner basis, except that the "leading" terms have smallest degree instead of largest. This requires slight changes to the algorithms in order to make sure they terminate. Does anyone know if this has been implemented in Sage or have a good way to fake it? I don't use Sage a lot and I can't find anything obvious in the documentation so I thought I'd ask before trying to re-implement something.

Thanks very much!

----Josh