id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
16888 weak popov form does not compute weak popov form ketzu "While working on the sage.matrix.matrix2.weak_popov_form (for sage.matrix.matrix_misc.weak_popov_form applies the same) method for performance issues I noticed something.
The weak Popov form as defined in [MS] is not computed by this method. The other references do not call this form weak Popov form, it is a les restrictive definition for a certain row reduced form of matrix.
Followup ticket for reimplementation of wpf: #16742 and #16896.
[MS] T. Mulders, A. Storjohann, ""On lattice reduction for polynomial[[BR]] matrices,"" J. Symbolic Comput. 35 (2003), no. 4, 377--401
Comment of weak_popov_form:
OUTPUT:[[BR]] [[BR]] A 3-tuple !`(W,N,d)` consisting of:[[BR]] [[BR]] 1. !`W` - a matrix over !`k(x)` giving a weak the Popov form of self[[BR]] 2. !`N` - a matrix over !`k[x]` representing row operations used to[[BR]] transform !`self` to !`W` [[BR]] 3. !`d` - degree of respective columns of W; the degree of a column is[[BR]] the maximum of the degree of its elements" defect closed major sage-6.6 linear algebra fixed weak-popov-form matrix jsrn David Mödinger David Lucas N/A c19cc1182669d5534f1371dd42c5ddbcdf7875d7 c19cc1182669d5534f1371dd42c5ddbcdf7875d7