| Singular https://www.singular.uni-kl.de/forum/ |
|
| vector spaces and relations https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1777 |
Page 1 of 1 |
| Author: | nieto [ Thu Oct 01, 2009 7:47 pm ] |
| Post subject: | vector spaces and relations |
Perhaps it is well known for you but I do not seem to find a useful command that allows me to define a finite dimensional vector space with a polinomial constraint to be able to compute its dimension ( the first try would be to define it as a kernel). My problem is to define a subvector space of the vector space of polynomials of degree 10 with a condition of multiplicty on these polinomials, namely that the up to the third order partial derivatives of each of these polynomials vanishes. I want to compute the dimension of this subvector space. I have been browsing the libraries and have not found it directly but seem to find some libraries useful but when I want to look at them closely; it seems they contain the authors´name but not the specific singular algorithm I need. How do I have direct access to these libraries, to look at specific singular commands? |
|
| Author: | malex [ Fri Oct 02, 2009 12:37 am ] |
| Post subject: | Re: vector spaces and relations |
Dear nieto, please take a look at "central.lib": http://www.singular.uni-kl.de/Manual/la ... htm#SEC499. 1. use PBW_eqDeg( 10 ); in order to get your enveloping vector space (may require a lot of memory). 2. use diff() instead of applyAdF in order to get your system of equations. 3. use linearMapKernel/linearCombinations to solve the sysystem. Iterate steps 2/3 as in centerVS... hope that helps, Oleksandr ps: Singular libraries (*.lib) are just plane text files so that one could read the code with any text viewer. (please try another editor and provide more details if that will not help) |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|