Benchmark of Femlab, Fluent and Ansys

Similar documents
A numerical study of vortex-induced vibrations (viv) in an elastic cantilever

Prediction of airfoil performance at high Reynolds numbers.

COMPARISON OF THERMAL HAND MODELS AND MEASUREMENT SYSTEMS

Design possibilities for impact noise insulation in lightweight floors A parameter study

Resistivity survey at Stora Uppåkra, Sweden

A beam theory fracture mechanics approach for strength analysis of beams with a hole

Analytical Studies of the Influence of Regional Groundwater Flow by on the Performance of Borehole Heat Exchangers

Sound absorption properties of a perforated plate and membrane ceiling element Nilsson, Anders C.; Rasmussen, Birgit

The IEA Annex 20 Two-Dimensional Benchmark Test for CFD Predictions

Optimizing Reliability using BECAS - an Open-Source Cross Section Analysis Tool

Graphs with given diameter maximizing the spectral radius van Dam, Edwin

Resistivity imaging for mapping of quick clays

Reducing Uncertainty of Near-shore wind resource Estimates (RUNE) using wind lidars and mesoscale models

Embankment dam seepage assessment by resistivity monitoring

Lattice Boltzmann Modeling From the Macro- to the Microscale - An Approximation to the Porous Media in Fuel Cells -

Benchmarking of optimization methods for topology optimization problems

Steady State Comparisons HAWC2 v12.2 vs HAWCStab2 v2.12

Accelerating interior point methods with GPUs for smart grid systems

De Prisco, Renato; Comunian, Michele; Grespan, Franscesco; Piscent, Andrea; Karlsson, Anders

Online algorithms for parallel job scheduling and strip packing Hurink, J.L.; Paulus, J.J.

Transmuted distributions and extrema of random number of variables

Geoelectrical and IP Imaging Used for Pre-investigation at a Tunnel Project. Danielsen, Berit Ensted; Arver, Henrik; Karlsson, T; Dahlin, Torleif

Aalborg Universitet. Lecture 14 - Introduction to experimental work Kramer, Morten Mejlhede. Publication date: 2015

Sorption isotherms for textile fabrics and foam used in the indoor environment

Topology optimisation of passive coolers for light-emitting diode lamps

Massively parallel molecular-continuum simulations with the macro-micro-coupling tool Neumann, P.; Harting, J.D.R.

The M/G/1 FIFO queue with several customer classes

Application of joint inversion and fuzzy c-means cluster analysis for road preinvestigations

Aalborg Universitet. Specification of a Two-Dimensional Test Case Nielsen, Peter Vilhelm. Publication date: 1990

Unknown input observer based scheme for detecting faults in a wind turbine converter Odgaard, Peter Fogh; Stoustrup, Jakob

Lidar calibration What s the problem?

Crack Tip Flipping: A New Phenomenon yet to be Resolved in Ductile Plate Tearing

Dynamic Effects of Diabatization in Distillation Columns

Design of Robust AMB Controllers for Rotors Subjected to Varying and Uncertain Seal Forces

Modelling Salmonella transfer during grinding of meat

On the Hausdorff Dimension of Fat Generalised Hyperbolic Attractors

A Note on Powers in Finite Fields

Convergence analysis for a class of LDPC convolutional codes on the erasure channel

Numerical modeling of the conduction and radiation heating in precision glass moulding

Neutronics calculations for the ITER Collective Thomson Scattering Diagnostics

Simulating wind energy resources with mesoscale models: Intercomparison of stateof-the-art

On numerical evaluation of two-dimensional phase integrals

Global Wind Atlas validation and uncertainty

Published in: Proceedings of the Twentieth (2010) International Offshore and Polar Engineering Conference

The Wien Bridge Oscillator Family

A Procedure for Classification of Cup-Anemometers

Proposal for numerical benchmarking of fluid-structure interaction between an elastic object and laminar incompressible flow

Reflection of sound from finite-size plane and curved surfaces

Project #1 Internal flow with thermal convection

Citation for published version (APA): Burcharth, H. F. (1988). Stress Analysis. Aalborg: Department of Civil Engineering, Aalborg University.

Generating the optimal magnetic field for magnetic refrigeration

DISPENSA FEM in MSC. Nastran

Reflection and absorption coefficients for use in room acoustic simulations

Aalborg Universitet. Publication date: Document Version Publisher's PDF, also known as Version of record

Characterization of microporous silica-based membranes by calorimetric analysis Boffa, Vittorio; Yue, Yuanzheng

Advantages and Challenges of Superconducting Wind Turbine Generators

University of Huddersfield Repository

Tilburg University. Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: Link to publication

A note on non-periodic tilings of the plane

Matrix representation of a Neural Network

Resonant Inerter Based Absorbers for a Selected Global Mode

Higher order hierarchical H(curl) Legendre basis functions applied in the finite element method: emphasis on microwave circuits

Published in: Proceedings of the 21st Symposium on Mathematical Theory of Networks and Systems

Geophysical techniques for investigating shallow and deep landslides: results in the framework of PREVIEW project (FP6 UE)

Comparisons of winds from satellite SAR, WRF and SCADA to characterize coastal gradients and wind farm wake effects at Anholt wind farm

The dipole moment of a wall-charged void in a bulk dielectric

An Overview of Impellers, Velocity Profile and Reactor Design

Higher-order spectral modelling of the diffraction force around a vertical circular cylinder

Numerical studies on natural ventilation flow in an enclosure with both buoyancy and wind effects

Effects of surface design on aerodynamic forces of iced bridge cables

Measurements of the angular distribution of diffuse irradiance

Aalborg Universitet. CFD in Ventilation Design Nielsen, Peter Vilhelm. Publication date: 2009

Tectonic Thinking Beim, Anne; Bech-Danielsen, Claus; Bundgaard, Charlotte; Madsen, Ulrik Stylsvig

Multiple Scenario Inversion of Reflection Seismic Prestack Data

Tilburg University. Two-dimensional maximin Latin hypercube designs van Dam, Edwin. Published in: Discrete Applied Mathematics

Solar radiation and thermal performance of solar collectors for Denmark

ABSTRACT I. INTRODUCTION

An Equivalent Source Method for Modelling the Lithospheric Magnetic Field Using Satellite and Airborne Magnetic Data

Multi (building)physics modeling

Fatigue Reliability and Effective Turbulence Models in Wind Farms

A comparison study of the two-bladed partial pitch turbine during normal operation and an extreme gust conditions

Application of mesoscale models with wind farm parametrisations in EERA-DTOC

Early development drug formulation on a chip: Fabrication of nanoparticles using a microfluidic spray dryer. Supplemental Information

Geometry explains the large difference in the elastic properties of fcc and hcp crystals of hard spheres Sushko, N.; van der Schoot, P.P.A.M.

Determination of packaging induced 3D stress utilizing a piezocoefficient mapping device

A systematic methodology for controller tuning in wastewater treatment plants

1 Exercise: Linear, incompressible Stokes flow with FE

Tilburg University. Two-Dimensional Minimax Latin Hypercube Designs van Dam, Edwin. Document version: Publisher's PDF, also known as Version of record

The structure of a nucleolytic ribozyme that employs a catalytic metal ion Liu, Yijin; Wilson, Timothy; Lilley, David

Numerical simulation of fluid flow in a monolithic exchanger related to high temperature and high pressure operating conditions

Impact of the interfaces for wind and wave modeling - interpretation using COAWST, SAR and point measurements

Pressure Losses for Fluid Flow Through Abrupt Area. Contraction in Compact Heat Exchangers

Validation of Boundary Layer Winds from WRF Mesoscale Forecasts over Denmark

Estimation of Peak Wave Stresses in Slender Complex Concrete Armor Units

Kommerciel arbejde med WAsP

Content. Department of Mathematics University of Oslo

Conceptual design of a thorium supplied thermal molten salt wasteburner

Optimal acid digestion for multi-element analysis of different waste matrices

A comparison between two different method of moments codes for periodic problems

Determination of the minimum size of a statistical representative volume element from a fibre-reinforced composite based on point pattern statistics

Transcription:

Benchmark of Femlab, Fluent and Ansys Verdier, Olivier 2004 Link to publication Citation for published version (APA): Verdier, O. (2004). Benchmark of Femlab, Fluent and Ansys. (Preprints in Mathematical Sciences; Vol. LUTFMA-5039-2004). [Publisher information missing]. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. Users may download and print one copy of any publication from the public portal for the purpose of private study or research. You may not further distribute the material or use it for any profit-making activity or commercial gain You may freely distribute the URL identifying the publication in the public portal Take down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. L UNDUNI VERS I TY PO Box117 22100L und +46462220000

BENCHMARK OF FEMLAB, FLUENT AND ANSYS OLIVIER VERDIER Preprints in Mathematical Sciences 2004:6 Centre for Mathematical Sciences Mathematics CENTRUM SCIENTIARUM MATHEMATICARUM

3 CONTENTS 1 Introduction 3 2 Case Descriptions 4 2.1 Structural Mechanics Cases....................... 4 2.1.1 Elliptic Membrane....................... 4 2.1.2 Built-in Plate.......................... 5 2.1.3 Square Supported Plate..................... 6 2.2 Fluid Mechanics Test Cases....................... 7 2.2.1 Backward Facing Step...................... 7 2.2.2 Cylinder Flow in 2D...................... 9 3 Measurements : Computational Results 10 3.1 Experimental Procedure......................... 10 3.2 How to Read the Results......................... 11 3.3 Structural Mechanics........................... 12 3.3.1 Elliptic Membrane....................... 12 3.3.2 Built-in Plate.......................... 14 3.3.3 Supported Plate......................... 14 3.4 Fluid Mechanics............................. 14 3.4.1 Backstep............................. 15 3.4.2 Cylinder 2D........................... 16 4 Conclusions 18 References 19 1 INTRODUCTION This is a benchmark of Femlab 3.0a, Ansys 7.1 and Fluent 6.1.18. We also conducted some tests with the former version 2.3 of Femlab. This was done in order to compare the performance and reliability of these programs under two sets of problems. The first set is composed of two and three dimensional structural mechanics benchmarks which are taken from the benchmark documentation of Ansys. Some of them are also part of the NAFEMS benchmarks. The second set is composed of two dimensional standard fluid mechanics benchmarks to test the incompressible Navier-Stokes model in laminar mode.

4 All the tests were run on the same machine in order to be able to effectively compare the performances. Each case was set up with an artificially large number of degrees of freedom. This was done in order to have an idea of the behaviour of the tested programs on heavy industrial problems, while keeping the geometry simple and disposing of measured or theoretical reference quantities. We begin with the description of the test cases, we then give some information about the experimental procedure and finally give the results of the measurements. 2 CASE DESCRIPTIONS 2.1 Structural Mechanics Cases 2.1.1 Elliptic Membrane The original case is an elliptic membrane with an elliptic hole in its center (cf. figure 1). An outward pressure load is applied on the external edge. Because of the symmetry of the problem, only a quarter of the elliptic membrane is simulated. So the case is a quarter of an elliptic membrane with a slipping boundary condition on two edges (to account for the symmetry), plus a pressure load on its outer edge. Figure 2 on page 13 shows the resulting deformation of the membrane. A reference for this case is [Barlow and Davis, 1986]. Figure 1: The whole elliptic membrane Olivier Verdier

5 B 1.75 m 1.0 m A D C Geometry The membrane is 0.1 m thin. (We use the plane-stress model) Material E = 2.10 10 5 MPa ν = 0.3 2.0 m 1.25 m Constraints and Loads The boundary conditions, as indicated on the picture, come from horizontal and vertical symmetry: no vertical displacement on the lower edge (CD) and no horizontal displacement on the left edge (AB). A pressure P = 10 MPa is applied on the outer edge (BC). Quantities to be measured The value of σ y at the point D is to be measured. Its theoretical value is 2.1.2 Built-in Plate σ y = 92.7 MPa A rectangular plate with built-in edges is subjected to a uniform pressure load on the top and bottom surfaces. Due to the symmetry of the problem only an eighth of the plate is simulated. The reference for this case is [Timoshenko and Woinowsky-Knieger, 1959].

6 H y G z E F H D A C B x L Geometry and Material H = 1.27 10 2 m L = 1.27 10 1 m E = 6.89 10 4 MPa ν = 0.3 Face Constraints Face Description Constraint x = 0 u x = 0 x = L u x = 0 y = 0 u y = 0 y = L u y = 0 z = H u x = u y = 0 z = 0 P = 3.447 MPa Edge Constraints Edge Constraint CG u z = 0 HG u z = 0 Quantities to be measured Quantity Location Theoretical u z -1 D 4.190 10 4 m σ y -2 B 2.040 10 2 MPa σ y -3 A 9.862 10 1 MPa 2.1.3 Square Supported Plate The eigenmodes of a plate supported on its lower edges are well known analytically. The test case consisted in finding the ten first eigenmodes and eigenvalues and to compare the latter to the theoretical values. The first three eigenvalues should be zero (solid mode) Olivier Verdier

7 because the solid is free to move the horizontal plane. The last three modes (8, 9 and 10) are plane modes (no displacement in the vertical direction). For more details, cf. [NAFEMS, 1989]. z y H x L Geometry and Material L = 10 m H = 1 m E = 200 10 3 MPa ν = 0.3 ρ = 8000 kg/m 3 Constraints No vertical displacement is allowed (u z = 0) on the four lower edges Quantities to be measured The three first eigenmodes are plane modes with eigenvalue zero. The next seven eigenvalues should be measured. Here are their theoretical values: Eigenvalue nb 4 5 6 7 8 9 10 Frequency (Hz) 45.897 109.44 109.44 167.89 193.59 206.19 206.19 The last three eigenmodes are plane modes. 2.2 Fluid Mechanics Test Cases The following test cases were used to compare Fluent and Femlab. All the flows are modelled by the incompressible Navier-Stokes equations and they are under laminar regime. 2.2.1 Backward Facing Step The backstep problem is a classic test in fluid mechanics. It consists of an inflow of fluid that passes a step. Below that step a loop should be observed (see fig. 5 on page 15). More details can be found in [Rose and Simpson, 2000].

8 0.08 m 0.005 m 0.01 m 0.02 m 0.06 m Geometry Height of the step: H = 0.005 m Properties of the fluid η = 1.79 10 5 m 2 /s ρ = 1.23 kg/m 2 Boundary Conditions The boundary condition on the inflow (leftmost boundary, in red) is: v = 6s(1 s) v0 where v 0 = 0.544 m/s and v 0 is horizontal. The outflow condition is a zero pressure (rightmost boundary, in blue) p = 0 The other boundary condition are set to no-slip. This means v = 0 on the boundary. Reynolds Number Re = 150 Quantities to be measured The length of the loop is to be measured (cf. fig. 5 on page 15). In nondimensional form, the ratio of the length of the loop divided by the height of the step (H) is approximatively 7.93 according to experimental data. Olivier Verdier

9 2.2.2 Cylinder Flow in 2D The cylinder flow test case is similar to the backstep one, except for the geometry. The Reynolds number has to be sufficiently low (below 200) to get a physically meaningful stationary solution. If the Reynolds number is too high, Femlab finds a solution although the regime is clearly unstable. This instability can be observed using the time dependent solver in Femlab. 0.20 m 0.21 m 0.20 m A B D = 0.10 m 2.20 m Geometry The cylinder has a diameter D = 0.10 m Fluid Properties η = 10 3 m 2 /s ρ = 1 kg/m 2 Boundary Conditions v 0 = 0.3 m/s and v 0 is horizontal. The boundary condition on the inflow (leftmost boundary, in red) is: v = 4s(1 s) v0 where s parametrises the left boundary. The outflow condition is a zero pressure (rightmost boundary, in blue) p = 0 The other boundary condition are set to no-slip. This means v = 0 on the boundary. Quantities to be measured We define the mean velocity by v = 2 3 v 0

10 We then define the non-dimensional force of the fluid on the cylinder: c = 2 F ϱ v 2 D We can then define the drag coefficient c D and the lift coefficient c L to be the x and y coordinates of the non-dimensional force c: c D = c x c L = c y We also define the recirculation length L a which is the distance on the line {y = 0.2} between the right border of the cylinder and the first point where the horizontal velocity is positive (cf. figure 7 on page 16). The pressure drop P is defined as the difference of the pressures on the left and right border of the cylinder: P = P A P B All these quantities are taken from [Turek and Schäfer, 1996]. The values that we will choose as theoreticals for the precision measurements are the followings: Reynolds Number c D c L L a /D P ( N/m) 5.58 1.07 10 2 8.46 10 1 1.174 10 1 Re = vd η = 20 3 MEASUREMENTS : COMPUTATIONAL RESULTS 3.1 Experimental Procedure All the computations were carried out on the same computer which caracteristics can be found on table 2 on the next page. Mesh Settings The generated meshes were always isotropic and homogeneous in the four tested programs for the performance tests except for some of the measures in the cylinder 2d and 3d cases. Olivier Verdier

11 Mesh Convergence The mesh convergence investigations were carried out using the Mesh Parameters... option in Femlab 3, using the whole range from Extremely coarse to Extremely fine and sometimes even more. The only exception is the graph labelled "Dense Mesh" on figure 8 on page 17, on which the mesh is denser around the cylinder. It should be emphasised that there are is no way to modify a mesh in Fluent without losing all the boundary conditions and other settings. As a result it is very difficult to investigate the mesh convergence in Fluent. Table 1 Versions of the tested programs Program Version Fluent 6.1.18 Ansys 7.1 Femlab 2.3 2.3 Femlab 3.0a 3.0-207 Table 2 Computer Characteristics Manufacturer Processor RAM OS Fujitsu-Siemens Intel P4 2.4GHz 1GB MS Windows XP 3.2 How to Read the Results Precision The precision for a given quantity Q and its corresponding theoretical value Q theor is computed according to the following formula: precision = log( 1 Q ) Q theor The measured quantity in the measurement tables are always given in this form. Note that a precision above the theoretical precision (which is usually 2 or 3) does not mean that the precision is really better than the theoretical precision.

12 Mesh Convergence On the mesh convergence graphs the precision is represented against the log of the number of degrees of freedom. Units If not explicitly mentioned, the units are always SI units. The units of the performance tables are the following: Denomination DOF (Degrees of Freedom) Mem (Peak Memory) Time (CPU Time) Units Thousands MegaByte Second The peak memory is the maximum memory used by the process during the computation. Out of Memory When the peak memory measurement is preceded by >, it means that the computation process could not be completed because of an out of memory error. Missing Measures Missing measure are indicated by a? sign. It means that the quantity could not be measured with a sufficient accuracy. Measure Accuracy All the measures were taken with 4 significant digits. 3.3 Structural Mechanics Ansys and Femlab are comparable in CPU time and memory usage on the structural mechanics cases, except in the Supported Plate case where Ansys turns out to be much more efficient in time and memory for the same accuracy as Femlab. Note also that the results vary very much according to the numerical solver used. The sovers on Femlab 3 have been carefully tuned in order to obtain the best perfomances. Such a possibility does not seem to be available in Ansys. 3.3.1 Elliptic Membrane Program DOF Mem Time σ y Ansys 74 180 10 2.67 Femlab 3.0a 76 135 9 3.12 Femlab 2.3 85 380 33 2.97 Femlab 3.0a 89 152 13 3.19 Olivier Verdier

13 Figure 2: Deformation of the Elliptic Membrane Figure 3: Mesh Convergence for the Elliptic Membrane

14 Figure 4: Mesh Convergence for the Built-in Plate 3.3.2 Built-in Plate Program DOF Mem Time u z -1 σ y -2 σ y -3 min max Ansys 101 547 72 1.22 1.05 1.98 1.05 1.98 Femlab 3.0a 101 309 85 1.38 1.07 1.99 1.07 1.99 Femlab 2.3 98 669 133 1.36 1.10? 3.3.3 Supported Plate Neither Ansys nor Femlab seem to be able to compute the eigenfrequencies with a satisfactory precision. The plane modes vary very much according to the mesh, and we never got the last three plane modes together. It appears therefore that a much clever mesh or a larger mesh would be necessary to obtain a better accuracy. Program DOF Mem Time 4 5 6 7 8 9 10 min max Ansys 84 164 252 1.21 1.25 1.25 1.06 1.94 1.17 1.21 1.06 1.94 Femlab 3.0a 84 695 360 1.30 1.32 1.33 1.11 1.99 1.19 1.22 1.11 1.99 Femlab 2.3 84 >592 3.4 Fluid Mechanics These test cases were compared with Fluent. Fluent turns out to have no stationary solver 1. This implies that the convergence for the chosen cases can be very slow, since it 1 This is a mistake. It is an iterative solver that we mistook for a time-dependent one. Olivier Verdier

15 endeavours to find an asymptotic solution from a nonstationary solver. This implies that the performances of Fluent are very sensitive to the given precision which was 10 5 on all the cases. We will also see in both 2D cases that Femlab is more accurate even used with a non-stationary solver and also that Fluent does not converge, no matter how long we let it iterate. At last we tested Fluent with very large numbers of elements but the precision is not improved. 3.4.1 Backstep Fluent gets the loop with a remarkably poor accuracy. Femlab yields better results even when used with a non stationary solver. Only a few hundreds of elements is needed to Femlab to achieve a better accuracy than that of Fluent. Figure 5: The loop behind the step Figure 6: Mesh Convergence for the Backstep

16 Program DOF Mem Time Loop Fluent 83 55 146 0.79 Femlab 2.3 100 >602 Femlab 3.0a 96 445 630 2.02 Femlab 2.3 25 322 77 1.85 Femlab 3.0a 25 136 77 1.90 3.4.2 Cylinder 2D The first computations are carried out using a homogeneous mesh. The last two line, however, are results of computations with refined mesh around the cylinder. One should be careful about these last two results, though, since the refinement methods are not the same. We tried to let Fluent iterate for a very long time (about 20000 iterations) and still the residual remains above 10 5. The subsequent results for Fluent are not better than those presented here. We also used Femlab 3 for a non-stationary simulation of this case and the precision is the same as in the stationary one. Moreover the solution converges fairly quickly to the stationary one (whereas Fluent does not converges at all if the residual tolerance is chosen below 10 5 ). Figure 7: The recirculation area at the back of the cylinder Olivier Verdier

Figure 8: Mesh convergence for the Cylinder 2D Case 17

18 Program DOF Mem Time c D c L L a P Fluent 50 62 140 1.42 0.48?? Femlab 3.0a 50 213 62 2.71 0.48 1.81 1.59 Femlab 2.3 101 >623 Femlab 3.0a 101 414 142 2.49 0.00 1.68 2.12 Fluent 109 67 450 1.97 0.00?? Femlab 3.0a 101 371 108 4.75 2.13 1.91 3.07 4 CONCLUSIONS Femlab 3 represents a very significant stride compared to the previous version 2.3. In most cases, the old version could not even carry out the computations without an "Out of memory" error message. Femlab 3 performances are comparable, both from the precision, CPU time and memory usage, to those of Ansys, except for the eigenfrequency analysis, where Ansys is more efficient. Surprisingly enough, and despite all our endeavours, Fluent does not yield any accurate results. For the backstep case, for instance, the precision of Femlab with a few hundreds degrees of freedom is better than that of Fluent with eighty thousands. Moreover for difficult problems like that of computing the force exerted on the cylinder, in the 2D case, a very good accuracy is needed to capture the right lift coefficient which is, in nondimensional form, approximately one percent of the drag coefficient. There is apparently no hope for Fluent to get even a rough idea of this coefficient, no matter how long we wait or how refined the mesh is. REFERENCES Barlow, J. and G. A. O. Davis. 1986. Selected FE Benchmarks in Structural and Thermal Analysis. Technical report NAFEMS. NAFEMS. 1989. The Standard NAFEMS Benchmarks. Technical report NAFEMS. Rose, Alan and Ben Simpson. 2000. Laminar, Constant-Temperature Flow over a Backward Facing Step. In 1st NAFEMS Workbook of CFD Examples. Timoshenko, S. and S. Woinowsky-Knieger. 1959. Theory of Plates and Shells. McGraw- Hill Book Co. Inc. Turek, S. and M. Schäfer. 1996. Benchmark Computations of Laminar Flow around a Cylinder. In Flow Simulation with High-Performance Computers II, ed. E. H. Olivier Verdier

Hirschel. Vol. 52 of Notes on Numerical Fluid Mechanics Vieweg pp. 547 566. http://www.mathematik.uni-dortmund.de/htmldata1/featflow/ture/paper/ benchmark_results.ps.gz 19

20 Olivier Verdier

Preprints in Mathematical Sciences 2004:6 ISSN 1403-9338 LUTFMA-5039-2004 Mathematics Centre for Mathematical Sciences Lund University Box 118, SE-221 00 Lund, Sweden http://www.maths.lth.se/