Changes between Version 2 and Version 6 of Ticket #16742
 Timestamp:
 08/19/14 12:11:58 (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #16742
 Property Cc jsrn added
 Property Keywords #16739 added

Property
Type
changed from
PLEASE CHANGE
toenhancement

Ticket #16742 – Description
v2 v6 1 The target of this ticket is to enhance the function weak_popov of the matrix interface. 2 The function should transform the matrix in weak popov form, it will use muldersstorjohann algorithm and should be much faster than the current implementation but will not work for polynomials over a fraction field only for polynomial rings over finite fields. 1 The target of this ticket is to enhance the function weak_popov of the matrix interface. The function should transform the matrix in weak popov form, it will use muldersstorjohann algorithm and should be much faster than the current implementation but will not work for polynomials over a fraction field only for polynomial rings over finite fields. 2 3 This ticket is independent from but connected to !#16739. 3 4 4 5 Short description of weak popov form: Let R be an ordered Ring and Amxn a matrix over R. The leading position of a row is called the position i in [1,m) such that the order of A[i,_] is maximal within the row. If there are multiple entries with the maximum order, the highest i is the leading position (the furthest to the right in the matrix). A is in weak popov form if all leading positions are different (zero lines ignored).