Back to Forum | View unanswered posts | View active topics
Topic review - cones in finite dimensional space |
Author |
Message |
|
|
Post subject: |
Re: cones in finite dimensional space |
|
|
You need Singular in version 3-1-5. Singular -v shoukd display Code: Singular for ix86-Linux version 3-1-5 (3150) Aug 6 2012 18:03:48 with factory(@(#) factoryVersion = 3.1.5),libfac(3.1.3,March 2011), GMP(5.0),NTL(5.5.2),MP(1.1.2.1),32bit,static readline,Plural,fan/cone,DBM,
the cone functionality by including " fan/cone" like above.
You need Singular in version 3-1-5. Singular -v shoukd display [code]Singular for ix86-Linux version 3-1-5 (3150) Aug 6 2012 18:03:48 with factory(@(#) factoryVersion = 3.1.5),libfac(3.1.3,March 2011), GMP(5.0),NTL(5.5.2),MP(1.1.2.1),32bit,static readline,Plural,fan/cone,DBM, [/code] the cone functionality by including " fan/cone" like above.
|
|
|
|
Posted: Mon Aug 06, 2012 7:20 pm |
|
|
|
|
|
Post subject: |
cones in finite dimensional space |
|
|
Hello,
In principle we can define cones in Singular. But I am not being able to do this. Singular is showing me the following :
intmat HL[5][3]= . 1,0, 0, . -1,0, 0, . 0,1, 1, . 0,1,-1, . 0,0, 1; > cone c=coneViaRays(HL); ? `cone` is undefined ? error occurred in or before STDIN line 26: `cone c=coneViaRays(HL);` > cone c=coneViaRays(HL);
Do I have to upgrade my version for example and how to do it ? do I need to to use a special library for this ?
What I need, is to define a cone and find its dual.
Thanks for any help
Hello,
In principle we can define cones in Singular. But I am not being able to do this. Singular is showing me the following :
intmat HL[5][3]= . 1,0, 0, . -1,0, 0, . 0,1, 1, . 0,1,-1, . 0,0, 1; > cone c=coneViaRays(HL); ? `cone` is undefined ? error occurred in or before STDIN line 26: `cone c=coneViaRays(HL);` > cone c=coneViaRays(HL);
Do I have to upgrade my version for example and how to do it ? do I need to to use a special library for this ?
What I need, is to define a cone and find its dual.
Thanks for any help
|
|
|
|
Posted: Mon Aug 06, 2012 6:45 pm |
|
|
|
|
|
It is currently Fri May 13, 2022 11:05 am
|
|