Changes between Version 1 and Version 2 of Ticket #16888
- Timestamp:
- 08/28/14 12:00:02 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #16888 – Description
v1 v2 11 11 1. while N is nice to check some things, in my opinion it should only be given if asked for 12 12 13 [MS] T. Mulders, A. Storjohann, "On lattice reduction for polynomial[[BR]] matrices," J. Symbolic Comput. 35 (2003), no. 4, 377--401 13 Followup ticket for reimplementation of wpf: [ticket:16742 #16742.] 14 15 [MS] T. Mulders, A. Storjohann, "On lattice reduction for polynomial[[BR]] matrices," J. Symbolic Comput. 35 (2003), no. 4, 377--401 14 16 15 17 Comment of weak_popov_form: 16 18 17 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 elements19 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