En kanalyta är ett hölje av en enda parameterfamilj av sfärer. I detta papper presenterar vi en effektiv algoritm för att beräkna den implicita ekvationen av en kanalyta som genereras av en rationell familj av sfärer. Genom att använda Laguerre och Lie geometries, relaterar vi ekvationen av kanalytan till ekvationen av en dubbel variation av en viss kurva i 5-dimensionell projektiv utrymme. Vi definierar μ-basis för godtycklig dimension och ger en enkel algoritm för dess beräkning. Detta tillämpas sedan på den dubbla sorten, vilket gör att vi kan härleda de implicita ekvationerna av den dubbla sorten, kanalytan och eventuella offset till kanalytan.
En algoritm för att beräkna den implicita ekvationen för en kanal yta som genereras av en rationell familj av sfärer presenteras i REF.
The implicit equation of a canal surface
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}